A characterization of log-space computable functions
- 1 July 1973
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGACT News
- Vol. 5 (3), 26-29
- https://doi.org/10.1145/1008293.1008295
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Word problems requiring exponential time(Preliminary Report)Published by Association for Computing Machinery (ACM) ,1973
- The complexity of theorem-proving proceduresPublished by Association for Computing Machinery (ACM) ,1971