Author:
Ono Hiroakira,Nakamura Akira
Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference6 articles.
1. Weak second order arithmetic and finite automata;Bucxi;Z. Math. Logik Grundlagen Math.,1960
2. Decidability and undecidability of extensions of second (first) order theory of (generalized) successor;Elgot;J. Symbolic Logic,1966
3. On causal 2-systems;Nakamura;J. Comput. System Sci.,1975
4. Two-dimensional finite automata and their application to the decision problem of monadic first-order arithmetic A[P,f(x),g(x)];Nakamura;Studies on Polyautomata,1977
5. Decidability and essential undecidability;Putnam;J. Symbolic Logic,1957
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献