Volume 41,
Number 1,
October 1999
Volume 41,
Number 2-3,
November 1999
- Annalisa Bossi, Yves Deville:
Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2.
139-140 BibTeX
- Pierre Flener, Serap Yilmaz:
Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects.
141-195 BibTeX
- Alberto Pettorossi, Maurizio Proietti:
Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs.
197-230 BibTeX
- Danny De Schreye, Robert Glück, Jesper Jørgensen, Michael Leuschel, Bern Martens, Morten Heine Sørensen:
Conjunctive Partial Deduction: Foundations, Control, Algorithms, and Experiments.
231-277 BibTeX
-
Erratum:
J. Log. Program. 43(3): 265(2000) BibTeX
- Germán Puebla, Manuel V. Hermenegildo:
Abstract Multiple Specialization and Its Application to Program Parallelization.
279-316 BibTeX
Copyright © Sun May 17 00:10:07 2009
by Michael Ley (ley@uni-trier.de)