Journal of Logic Programming
, Volume 21
Volume 21, Number 1, August 1994
R. K. Shyamasundar
,
Bal Wang
:
A Methodology for Provin Termination of Logic Programs.
1-30
Louiqa Raschid
:
A Semantics for a Class of Stratified Production System Programs.
31-57
Volume 21, Number 2, October 1994
Laura Giordano
,
Alberto Martelli
:
Structuring Logic Programs: A Modal Approach.
59-94
Françoise Gire
:
Equivalence of Well-Founded and Stable Semantics.
95-111
Volume 21, Number 3, Novemver 1994
Melvin Fitting
: Metric Methods Three Examples and a Theorem. 113-127
V. Wiktor Marek
,
Anil Nerode
,
Jeffrey B. Remmel
: The Stable Models of a Predicate Logic Program. 129-153
Kumar V. Vadaparty
: On the Power of Rule-Based Query Languages for Nested Data Models. 155-175
Last update Wed May 22 17:59:23 2013 CET by the
DBLP Team
—
Data released under the
ODC-BY 1.0 license
— See also our
legal information page