Adventures in time and space

DOI10.1145/1111037.1111053zbMath1370.03059OpenAlexW2150963700MaRDI QIDQ5348922

James S. Royer, Norman Danner

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

Mathematics Subject Classification ID

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 (2)

Game semantics approach to higher-order complexity ⋮ Unnamed Item

This page was built for publication: Adventures in time and space