Author:
Droste Manfred,Vogler Heiko
Subject
General Computer Science,Theoretical Computer Science
Reference39 articles.
1. Model-checking algorithms for continuous time markov chains;Baier;IEEE Trans. on Software Eng.,2003
2. Recognizable formal power series on trees;Berstel;Theoret. Comput. Sci.,1982
3. J. Berstel, Ch. Reutenauer, Rational Series and Their Languages, EATCS-Monographs, Vol. 12, Springer, Berlin, 1988.
4. A comparison of tree transductions defined by monadic second order logic and by attribute grammars;Bloem;J. Comput. System Sci.,2000
5. A pumping lemma and decidability problems for recognizable tree series;Borchardt;Acta Cybernet.,2004
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献