default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 5
Volume 5, Number 1, March 1988
- L. Thorne McCarty:
Clausal Intuitionistic Logic I - Fixed-Point Semantics. 1-31 - Jack Minker:
Perspectives in Deductive Databases. 33-60 - Saumya K. Debray, Prateek Mishra:
Denotational and Operational Semantics for Prolog. 81-91
Volume 5, Number 2, June 1988
- L. Thorne McCarty:
Clausal Intuitionistic Logic II - Tableau Proof Procedures. 93-132 - John Staples, Peter J. Robinson:
Efficient Unification of Quantified Terms. 133-149 - William G. Golson:
Toward a Declarative Semantics for Infinite Objects in Logic Programming. 151-164 - Vipin Kumar, Yow-Jian Lin:
A Data-Dependency-Based Intelligent Backtracking Scheme for Prolog. 165-181
Volume 5, Number 3, September 1988
- Robert Demolombe, Luis Fariñas del Cerro:
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. 183-206 - Saumya K. Debray, David Scott Warren:
Automatic Mode Inference for Logic Programs. 207-229 - W. F. Clocksin:
A Technique for Translating Clausal Specifications of Numerical Methods into Efficient Programs. 231-242 - Joachim Beer:
The Occur-Check Problem Revisited. 243-261 - Paolo Mancarella, Simone Martini
, Dino Pedreschi:
Complete Logic Programs with Domain-Closure Axiom. 263-276
Volume 5, Number 4, December 1988
- Marc Eisenstadt, Mike Brayshaw:
The Transparent Prolog Machine (TPM): An Execution Model and Graphical Debugger for Logic Programming. 277-342
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:15 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
