default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Logic Programming, Volume 15
Volume 15, Numbers 1&2, January 1993
- Tadashi Kanamori, Tadashi Kawamura:
Abstract Interpretation based on OLDT Resolution. 1-30 - Tadashi Kanamori:
Abstract Interpretation Based on Alexander Templates. 31-54 - Gerhard Jäger, Robert F. Stärk:
The Defining Power of Stratified and Hierarchical Logic Programs. 55-77 - Marc Bezem:
Strong Termination of Logic Programs. 79-97 - Eliezer L. Lozinskii:
A Simple Test Improves Checking Satisfiability. 99-111 - Tomas Hrycej:
A Temporal Extension of Prolog. 113-145 - Roland N. Bol:
Loop Checking and Negation. 147-175 - John N. Hooker:
Solving the incremental satisfiability problem. 177-186
Volume 15, Number 3, February 1993
- Weidong Chen, Michael Kifer, David Scott Warren:
HILOG: A Foundation for Higher-Order Logic Programming. 187-230 - Oded Shmueli:
Equivalence of DATALOG Queries is Undecidable. 231-241 - Mark Wallace
:
Tight, Consistent and Computable Completions for Unrestricted Logic Programs. 243-273
Volume 15, Number 4, April 1993
- Neng-Fa Zhou:
Global Optimizations in a Prolog Compiler for the TOAM. J. Log. Program. 15(4): 275-294 (1993) - Antonio Brogi, Roberto Gorrieri:
Distributed Logic Programming. J. Log. Program. 15(4): 295-335 (1993) - Karl Stroetmann:
A Completeness Result for SLDNF-Resolution. J. Log. Program. 15(4): 337-355 (1993)
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 2024-11-05 21:06 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:
