On the semantics of temporal logic programming (preliminary report)
By: by Marianne Baudinet.
Contributors: Stanford University. Computer Science Dept.
Series: Report / Stanford University, Computer Science Dept. ;; no. STAN-CS-88-1203; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-88-1203.
Publisher: Dept. of Computer Science, Stanford University
Published: 1988
Place of publication: Stanford, Calif
Language: eng
Number of pages: 30
Subjects: Logic programming.; Programming languages (Electronic computers) -- Semantics.
Notes: Includes bibliographical references (p. 28-30).
Cover title.
"May 1988."
"This research was supported by the National Science Foundation under Grants DCR-84-13230 and DCR-86-11272, by the Defense Advanced Research Projects Agency under Contract N00039-84-C-0211, and the United States Air Force Office of Scientific Research under Contract AFOSR-87-0149"--P. 1.