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