Proof — Complexity theory foundations
Statement
Hartmanis–Stearns; complexity classes. Proved in ZFC.
Source
ACM Turing Award 1993. Hartmanis–Stearns; complexity classes. Proved in ZFC.
Domains
computer-science
Hartmanis–Stearns; complexity classes. Proved in ZFC.
ACM Turing Award 1993. Hartmanis–Stearns; complexity classes. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/stearns-turing-1993/