Richard E. Stearns
article-link
What links here
Time hierarchy theorem
Juris Hartmanis
article-link
List of mathematical proofs
article-link
ZPP (complexity)
article-link
EXPTIME
article-link
Oracle machine
article-link
NP (complexity)
article-link
Computational complexity theory
article-link
P versus NP problem
article-link