Journal 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
, preliminary version:
NACLP 1989
: 69-80
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
, preliminary version:
PODS 1987
: 237-249
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. 275-294
Antonio Brogi
,
Roberto Gorrieri
: Distributed Logic Programming. 295-335
Karl Stroetmann
: A Completeness Result for SLDNF-Resolution. 337-355
Last update Tue Feb 14 04:20:42 2012 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page