Check nearby libraries
Buy this book
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Showing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Proving termination properties of PROLOG programs: a semantic approach
1988, Dept. of Computer Science, Stanford University
in English
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references (p. 11-12).
"March 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 by the United States Air Force Office of Scientific Research under Contract AFOSR-87-0149"--P. 1.
"To appear in the Proceedings of the Symposium on Logic in Computer Science, IEEE, Edinburgh, Scotland, July 1988"--P. 1.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?November 9, 2020 | Edited by MARC Bot | import existing book |
December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
December 10, 2009 | Created by WorkBot | add works page |