Halting space-bounded computations
- 1 January 1980
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 10 (3) , 335-338
- https://doi.org/10.1016/0304-3975(80)90053-5
Abstract
No abstract availableThis publication has 6 references indexed in Scilit:
- Nondeterminism and the size of two way finite automataPublished by Association for Computing Machinery (ACM) ,1978
- CorrigendaActa Informatica, 1977
- On tape bounds for single letter alphabet language processingTheoretical Computer Science, 1976
- Transformational methods and their application to complexity problemsActa Informatica, 1976
- On two-way multihead automataJournal of Computer and System Sciences, 1973
- Some Results on Tape-Bounded Turing MachinesJournal of the ACM, 1969