Regular canonical systems
- 1 April 1964
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 6 (3-4) , 91-111
- https://doi.org/10.1007/bf01969548
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Weak Second‐Order Arithmetic and Finite AutomataMathematical Logic Quarterly, 1960
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959
- Realization of Events by Logical NetsJournal of the ACM, 1958
- Representation of Events in Nerve Nets and Finite AutomataPublished by Walter de Gruyter GmbH ,1956
- Recursive Unsolvability of a problem of ThueThe Journal of Symbolic Logic, 1947
- Formal Reductions of the General Combinatorial Decision ProblemAmerican Journal of Mathematics, 1943