Some upper and lower bounds on decision procedures in logic
Series: MAC TR -- 139
Publisher: Massachusetts Institute of Technology, Project MAC
Published: 1974
Place of publication: Cambridge, Mass
Language: eng
Number of pages: 268
Subjects: Logic, Symbolic and mathematical; Sequential machine theory
Notes: Bibliography: p. 264-267.