The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Program.
1993, volume: 16, number: 1

  1. Henryk Jan Komorowski
    Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:1-3 [Journal]
  2. Hirohisa Seki
    Unfold/Fold Transformation of General Logic Programs for the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:5-23 [Journal]
  3. Roland N. Bol
    Loop checking in partial deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:25-46 [Journal]
  4. Annalisa Bossi, Nicoletta Cocco
    Basic Transformation Operations which Preserve Computed Answer Substitutions of Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:47-87 [Journal]
  5. Michele Bugliesi, Evelina Lamma, Paola Mello
    Partial Deduction for Structured Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:89-122 [Journal]
  6. Maurizio Proietti, Alberto Pettorossi
    The Loop Absorption and the Generalization Strategies for the Development of Logic Programs and Partial Deduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:123-161 [Journal]
  7. Ulf Nilsson
    Towards a Methodology for the Design of Abstract Machines for Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1993, v:16, n:1, pp:163-189 [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