Journal of Logic Programming
, Volume 33
Volume 33, Number 1, October 1997
Anthony J. Bonner
: Intuitionistic Deductive Databases and the Polynomial Time Hierarchy. 1-47
BibTeX
Lourdes Araujo
,
José J. Ruz
: A Parallel Prolog System for Distributed Memory. 49-79
BibTeX
Volume 33, Number 2, November 1997
Chut N. Yee
,
Trevor I. Dix
: A Platform for Restriction Mapping. 81-99
BibTeX
Laks V. S. Lakshmanan
,
Fereidoon Sadri
,
Iyer N. Subramanian
: Logic and Algebraic Languages for Interoperability in Multidatabase Systems. 101-149
BibTeX
Technical Notes
Tzee Ho Fung
,
Robert A. Kowalski
: The Iff Proof Procedure for Abductive Logic Programming. 151-165
BibTeX
Thomas Eiter
,
Georg Gottlob
: Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. 167-178
BibTeX
Volume 33, Number 3, December 1997
Johan Boye
,
Jan Maluszynski
: Directional Types and the Annotation Method. 179-220
BibTeX
Nevin Heintze
,
Spiro Michaylov
,
Peter J. Stuckey
,
Roland H. C. Yap
: Meta-Programming in CLP(R). 221-259
BibTeX
Copyright ©
Sun May 17 00:10:07 2009 by
Michael Ley
(
ley@uni-trier.de
)