Halting space-bounded computations

Formal Languages and their Relation to Automata

James B. Morris · Nuclear Science and Engineering · 1970 · 1K citations

Computing, Computer Engineering, Computer Science +12

Hierarchies of memory limited computations

Richard E. Stearns, Juris Hartmanis, Philip Lewis · 1965 · 357 citations

Computing, Computer Science, Algorithms +11

Nondeterminism and the size of two way finite automata

William J. Sakoda, Michael Sipser · 1978 · 172 citations · Full text

Computing, Computer Science, Dynamical Systems +10

Some Results on Tape-Bounded Turing Machines

John E. Hopcroft, Jeffrey D. Ullman · Journal of the ACM · 1969 · 107 citations · Full text

Computing, Computer Science, Algorithms +16

On two-way multihead automata

Óscar H. Ibarra · Journal of Computer and System Sciences · 1973 · 97 citations

Computing, Computer Science, Algorithms +7