Sipser Lautemann Theorem: Computational Complexity Theory, Polynomial Hierarchy, Michael

Space Hierarchy Theorem: Computational Complexity Theory, Deterministic Turing Machine, Decision Problem, Time Theorem

EXPTIME: EXPTIME, Computational Complexity theory, class, Decision problem, DTIME, P (complexity), NP...

Valiant Vazirani Theorem: Computational Complexity Theory, Leslie

Pseudo-Polynomial Time: Computational Complexity Theory, Time Complexity, NP-Complete, NP-Hard