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
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