Affiliation:
1. University of Washington, Seattle, Washington
Publisher
Association for Computing Machinery (ACM)
Subject
Artificial Intelligence,Hardware and Architecture,Information Systems,Control and Systems Engineering,Software
Reference6 articles.
1. Weak second-order arithmetic and finite automata. Zeit. Math. Logik und Grundlagen d;BUCHI J. R;Math.,1960
2. Decision problems of finite automata design and related arithmetics;EGOT C. C;Trans. Amer. Math. Soc.,1961
3. The diophantine equation 2n x 2 + 7;MORDELL L .;Ark. Mat.,1962
4. Decidability and essential undecidability;PUTNAM I-I;J. Symbolic Logic,1957
5. Finite automata and their decision problems;RABIN M.;IBM J. Res. Develop.,1959
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献