Volume 36, Number 1, July 1998
- Lunjin Lu:
Polymorphic Type Analysis in Logic Programs by Abstract Intepretation.
- Michael Meskes:
Volume 36, Number 2, August 1998
Volume 36, Number 3, September 1998
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
- Seng Wai Loke, Andrew Davison:
LogicWeb: Enhancing the Web with Logic Programming.
- Robert F. Stärk:
The Theoretical Foundations of LPTP (A Logic Program Theorem Prover).
- Mengchi Liu:
Relationlog: A Typed Extension to Datalog with Sets and Tuples.