Two methods for checking formulas of temporal logic
By: by Hugh W. McGuire.
Series: Report ;; no. STAN-CS-TR-95-1551; Report (Stanford University. Computer Science Dept.) ;; STAN-CS-TR-95-1551.
Publisher: Dept. of Computer Science, Stanford University
Published: 1995
Place of publication: Stanford, Calif
Language: eng
Number of pages: 144
Subjects: Automatic theorem proving.; Logic, Symbolic and mathematical.; Computer algorithms.
Notes: Thesis (Ph. D.)--Stanford University, 1995.
Includes bibliographical references (p. 135-142) and index.
Cover title.
"June 1995."