Logarithmic space and permutations

An algorithm for optimal lambda calculus reduction

John Lamping · 1990 · 254 citations · Full text

Computing, Computer Science, Algorithms +13

The geometry of optimal lambda reduction

Georges Gonthier, Martı́n Abadi, Jean-Jacques Lévy · 1992 · 233 citations

Computing, Computer Science, Mathematics +9

On non-determinancy in simple computing devices

Juris Hartmanis · Acta Informatica · 1972 · 111 citations

Computing, Computer Science, Computer Systems +9

On Multi-Head Finite Automata

Arnold L. Rosenberg · IBM Journal of Research and Development · 1966 · 97 citations

Computing, Computer Science, Mathematics +14

Nondeterministic space is closed under complementation

Neil Immerman · 1988 · 96 citations

Computing, Computer Science, Mathematics +11