Computational Complexity · 1993 · 11 citations · 12 references
ComputingComputer ScienceComputer SystemsComputer ArchitectureTuring MachinesMulti-tape Turing MachinesNondeterministic Turing MachinesTuring Machine Model
12
A Separator Theorem for Planar Graphs
Richard J. Lipton, Robert E. Tarjan · SIAM Journal on Applied Mathematics · 1979 · 1.4K citations
One-tape, off-line Turing machine computations
F. C. Hennie · Information and Control · 1965 · 227 citations
Michael O. Rabin · Israel Journal of Mathematics · 1963 · 127 citations
On determinism versus non-determinism and related problems
Wolfgang J. Paul, Nicholas Pippenger, Endre Szemerédi et al. · 1983 · 124 citations