Journal of Logic Programming, Volume 36

Volume 36, Number 1, July 1998

• Lunjin Lu:
  Polymorphic Type Analysis in Logic Programs by Abstract Intepretation. 1-54
  
• Michael Meskes:
  Subsumption-Stratified Datalog. 55-90
  

Volume 36, Number 2, August 1998

• Laura Giordano, Nicola Olivetti:
  Combining Negation as Failure and Embedded Implications in Logic Programs. 91-147
  
• Michael Leuschel, Danny De Schreye:
  Creating Specialised Integrity Checks Through Partial Evaluation of Meta-Interpreters. 149-193
  

Volume 36, Number 3, September 1998

• Seng Wai Loke, Andrew Davison:
  LogicWeb: Enhancing the Web with Logic Programming. 195-240
  
• Robert F. Stärk:
  The Theoretical Foundations of LPTP (A Logic Program Theorem Prover). 241-269
  
• Mengchi Liu:
  Relationlog: A Typed Extension to Datalog with Sets and Tuples. 271-299
  

Last update Sat May 18 16:48:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page