Volume 2,
Number 1,
January 2002
Volume 2,
Number 2,
March 2002
Volume 2,
Number 3,
May 2002
- Annalisa Bossi, Nicoletta Cocco, Sandro Etalle, Sabina Rossi:
On modular termination proofs of general logic programs.
263-291 BibTeX
- Francesco Buccafurri, Wolfgang Faber, Nicola Leone:
Disjunctive Logic Programs with Inheritance.
293-321 BibTeX
- John Grant, Jack Minker:
A logic-based approach to data integration.
323-368 BibTeX
- Dino Pedreschi, Salvatore Ruggieri, Jan-Georg Smaus:
Classes of terminating logic programs.
369-418 BibTeX
- Yde Venema:
Book review: Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn, The MIT Press, ISBN 0-262-08289-6.
419-421 BibTeX
Volume 2,
Number 4-5,
July-September 2002
Special Issue Program Development
- Maurice Bruynooghe, Kung-Kiu Lau:
Special Issue on Program Development, Guest Editors' Introduction.
423-424 BibTeX
- Ian J. Hayes, Robert Colvin, David Hemer, Paul A. Strooper, Ray Nickson:
A refinement calculus for logic programs.
425-460 BibTeX
- Michael Leuschel, Maurice Bruynooghe:
Logic program specialisation through partial deduction: Control issues.
461-515 BibTeX
- Andy King, Lunjin Lu:
A Backward Analysis for Constraint Logic Programs.
517-547 BibTeX
- Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak:
Using parametric set constraints for locating errors in CLP programs.
549-610 BibTeX
- Erwan Jahier, Mireille Ducassé:
Generic program monitoring by trace analysis.
611-643 BibTeX
Volume 2,
Number 6,
November 2002
Copyright © Sun May 17 00:30:35 2009
by Michael Ley (ley@uni-trier.de)
