Róbert Szelepcsényi
article-link
What links here
Neil Immerman
Least fixed point
article-link
Descriptive complexity theory
article-link
NL (complexity)
article-link
Ehrenfeucht–Fraïssé game
article-link
P (complexity)
article-link
Gödel Prize
article-link
Complexity class
article-link
Juris Hartmanis
article-link
Hampshire College Summer Studies in Mathematics
article-link
EXPTIME
article-link