Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference11 articles.
1. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Log. Grundl. Math.,1960
2. On a Decision Method in Restricted Second-Order Arithmetic;Büchi,1962
3. Decision methods in the theory of ordinals;Büchi;Bull. Amer. Math. Soc.,1965
4. Finite Automata on Infinite Structures;Choueka,1970
5. Decision problems of finite automata design and related arithmetics;Elgot;Trans. Amer. Math. Soc.,1961
Cited by
157 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献