The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Program.
1999, volume: 41, number: 2-3

  1. Annalisa Bossi, Yves Deville
    Guest Editors' Introduction Special Issue: Synthesis, Transformation and Analysis of Logic Rrograms 2. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:139-140 [Journal]
  2. Pierre Flener, Serap Yilmaz
    Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:141-195 [Journal]
  3. Alberto Pettorossi, Maurizio Proietti
    Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:197-230 [Journal]
  4. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:231-277 [Journal]
  5. Germán Puebla, Manuel V. Hermenegildo
    Abstract Multiple Specialization and Its Application to Program Parallelization. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:279-316 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002