Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference16 articles.
1. On a decision method in restricted second-order arithmetic;Büchi,1962
2. Decision methods in the theory Of ordinals;Büchi;Bull. Amer. Math. Soc.,1965
3. The monadic Second-Order Theory of All Countable Ordinals;Buchi,1973
4. Finite Automata on Infinite Structures;Choueka,1970
5. Theories of automata on to-tapes: A simplified approach;Choueka;J. Comput. System Sci.,1974
Cited by
47 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献