Formalization of time and space

DOI10.1007/s001650050017zbMath0934.68049OpenAlexW1971587456MaRDI QIDQ1293892

Eric C. R. Hehner

Publication date: 29 June 1999

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001650050017

zbMATH Keywords

computational complexity

Mathematics Subject Classification ID

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

Related Items (1)

Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs

This page was built for publication: Formalization of time and space