Description of restricted automata by first-order formulae
- 1 March 1975
- journal article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 9 (1), 97-104
- https://doi.org/10.1007/bf01698129
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Program schemata and the first-order decision problemJournal of Computer and System Sciences, 1974
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- One-way stack automataJournal of the ACM, 1967
- Stack automata and compilingJournal of the ACM, 1967
- Classification of $AEA$ formulas by letter atomsBulletin of the American Mathematical Society, 1962