Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Entiers et automates finis;Bruyère,;U.E. Mons,1984
2. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Logik Grundlag. Math.,1960
3. On the base-dependence of sets of numbers recognizable by finite-automata;Cobham;Math. Systems Theory,1969
4. Automata, Languages and Machines, Vol. A;Eilenberg,1974
5. Decidability and undecidability of extensions of second (first) order theory of (generalised) successor;Elgot;J. Symbolic Logic,1966
Cited by
26 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献