complexity of decision problems in automata theory and logic
Series: MAC TR -- 133
Publisher: Massachusetts Institute of Technology, Project MAC
Published: 1974
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 224
Subjects: Sequential machine theory; Turing machines
Notes: Bibliography: p. 214-220.