Travelled to:
1 × Finland
1 × Germany
1 × Italy
2 × USA
Collaborated with:
∅ P.M.B.Vitányi
Talks about:
determinist (2) machin (2) simul (2) ture (2) time (2) head (2) nondeterminist (1) processor (1) multihead (1) parallel (1)
Person: Walter J. Savitch
DBLP: Savitch:Walter_J=
Facilitated 1 volumes:
Contributed to:
Wrote 5 papers:
- GG-1978-Savitch #graph
- Graphs of Processors (WJS), pp. 418–425.
- ICALP-1978-Savitch #complexity #nondeterminism #parallel
- Parallel and Nondeterministic Time Complexity Classes (WJS), pp. 411–424.
- ICALP-1977-SavitchV #linear #multi #simulation #turing machine
- Linear Time Simulation of Multihead Turing Machines with Head-to-Head Jumps (WJS, PMBV), pp. 453–464.
- STOC-1972-Savitch #automaton
- Maze Recognizing Automata (WJS), pp. 151–156.
- STOC-1969-Savitch #nondeterminism #simulation #turing machine
- Deterministic Simulation of Non-Deterministic Turing Machines (WJS), pp. 247–248.