Subject
General Computer Science,Theoretical Computer Science
Reference8 articles.
1. On a decision method in restricted second order arithmetic;Büchi,1962
2. Theories of automata on ω-tapes: A simplified approach;Choueka;J. Comput. Systems Sci.,1974
3. Sets of numbers defined by finite automata;Hartmanis;Amer. Math. Monthly,1967
4. Decision problems for ω-automata;Landweber;Mathematical System Theory,1969
5. Testing and generating infinite sequences by a finite automation;McNaughton;Information and Control,1966
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning Büchi Automata and Its Applications;Engineering Trustworthy Software Systems;2019
2. A Complexity Measure on Büchi Automata;Language and Automata Theory and Applications;2016
3. On the Separation Question for Tree Languages;Theory of Computing Systems;2013-03-22
4. On the separation question for tree languages;LEIBNIZ INT PR INFOR;2012
5. Optimized Inlining of Runtime Monitors;Information Security Technology for Applications;2012