Author:
Büchi J. Richard,Siefkes Dirk
Publisher
Springer Berlin Heidelberg
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Monadic Theory of a Linear Order Versus the Theory of its Subsets with the Lifted Min/Max Operations;Fields of Logic and Computation II;2015
2. REASONING ABOUT TRANSFINITE SEQUENCES;International Journal of Foundations of Computer Science;2007-02
3. Controller Synthesis and Ordinal Automata;Automated Technology for Verification and Analysis;2006
4. Reasoning About Transfinite Sequences;Automated Technology for Verification and Analysis;2005
5. ON RECOGNIZABLE LANGUAGES OF INFINITE PICTURES;International Journal of Foundations of Computer Science;2004-12