Simple counter machines and number-theoretic problems
- 1 October 1979
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 19 (2) , 145-162
- https://doi.org/10.1016/0022-0000(79)90025-4
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- An NP-Complete Number-Theoretic ProblemJournal of the ACM, 1979
- Reversal-Bounded Multicounter Machines and Their Decision ProblemsJournal of the ACM, 1978
- Finite automata with multiplicationTheoretical Computer Science, 1976
- Reversal-bounded multipushdown machinesJournal of Computer and System Sciences, 1974
- A characterization of semilinear setsJournal of Computer and System Sciences, 1970
- Recursive Unsolvability of Post's Problem of "Tag" and other Topics in Theory of Turing MachinesAnnals of Mathematics, 1961
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959