On time-space classes and their relation to the theory of real addition
From MaRDI portal
Publication:5402562
DOI10.1145/800133.804352zbMath1282.68109OpenAlexW2071098839MaRDI QIDQ5402562
Anna R. Bruss, Albert R. Meyer
Publication date: 14 March 2014
Published in: Proceedings of the tenth annual ACM symposium on Theory of computing - STOC '78 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/800133.804352
Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items