On time-space classes and their relation to the theory of real addition

DOI10.1145/800133.804352zbMath1282.68109MaRDI QIDQ5402562

Albert R. Meyer, Anna R. Bruss

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

Mathematics Subject Classification ID

03B25: Decidability of theories and sets of sentences

03D15: Complexity of computation (including implicit computational complexity)

68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)

Related Items

Space-efficient recognition of sparse self-reducible languages