Author:
Droste Manfred,Dück Stefan
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference28 articles.
1. First-order and temporal logics for nested words;Alur;Log. Methods Comput. Sci.,2008
2. Adding nesting structure to words;Alur;J. ACM,2009
3. Rational Series and Their Languages;Berstel,1988
4. Weighted versus probabilistic logics;Bollig,2009
5. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Log. Grundl. Math.,1960
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献