Tree acceptors and some of their applications
- 1 October 1970
- journal article
- Published by Elsevier BV in Journal of Computer and System Sciences
- Vol. 4 (5), 406-451
- https://doi.org/10.1016/s0022-0000(70)80041-1
Abstract
No abstract availableThis publication has 10 references indexed in Scilit:
- Decision methods in the theory of ordinalsBulletin of the American Mathematical Society, 1965
- Operations Which Preserve Definability in LanguagesJournal of the ACM, 1963
- Two Families of Languages Related to ALGOLJournal of the ACM, 1962
- Decision problems of finite automata design and related arithmeticsTransactions of the American Mathematical Society, 1961
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959
- The first order properties of products of algebraic systemsFundamenta Mathematicae, 1959
- Finite state languagesInformation and Control, 1958
- Restricted set-theoretical definitions in arithmeticProceedings of the American Mathematical Society, 1958