BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × Germany
1 × Italy
2 × USA
Collaborated with:
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 DBLP: Savitch:Walter_J=

Facilitated 1 volumes:

STOC 1978Ed

Contributed to:

GG 19781978
ICALP 19781978
ICALP 19771977
STOC 19721972
STOC 19691969

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.