Adventures in time and space
From MaRDI portal
Publication:5348922
DOI10.1145/1111037.1111053zbMath1370.03059OpenAlexW2150963700MaRDI QIDQ5348922
Publication date: 21 August 2017
Published in: Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1111037.1111053
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Higher-type and set recursion theory (03D65)
Related Items