Subject
General Computer Science,Theoretical Computer Science
Reference14 articles.
1. On a decision method in the restricted second-order arithmetic;Büchi,1962
2. Decision methods in the theory of ordinals;Büchi;Bull Am. Math. Soc.,1965
3. Theories of automata on ω-tapes: a simplified approach;Choueka;J. Comput. System Sci.,1974
4. Finite automata, definable sets, and regular expressions over ωn-tapes;Choueka;J. Comput. System Sci.,1978
5. Introduction to Automata Theory, Languages, and Computation;Hopcroft,1979
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献