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
  
• Lourdes Araujo, José J. Ruz:
  A Parallel Prolog System for Distributed Memory. 49-79
  

Volume 33, Number 2, November 1997

• Chut N. Yee, Trevor I. Dix:
  A Platform for Restriction Mapping. 81-99
  
• Laks V. S. Lakshmanan, Fereidoon Sadri, Iyer N. Subramanian:
  Logic and Algebraic Languages for Interoperability in Multidatabase Systems. 101-149
  

• Tzee Ho Fung, Robert A. Kowalski:
  The Iff Proof Procedure for Abductive Logic Programming. 151-165
  
• Thomas Eiter, Georg Gottlob:
  Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. 167-178
  

Volume 33, Number 3, December 1997

• Johan Boye, Jan Maluszynski:
  Directional Types and the Annotation Method. 179-220
  
• Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap:
  Meta-Programming in CLP(R). 221-259
  

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