The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Program.
1999, volume: 41, number: 1

  1. Joeri Engelfriet, Heinrich Herre
    Stable Generated Models, Partial Temporal Logic and Disjunctive Defaults. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:1-25 [Journal]
  2. Birgit Elbl
    A Declarative Semantics for Depth-First Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:27-66 [Journal]
  3. Catherine Belleannée, Pascal Brisset, Olivier Ridoux
    A Pragmatic Reconstruction of lambda-Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:67-102 [Journal]
  4. Michael Codish, Cohavit Taboch
    A Semantic Basis for the Termination Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:103-123 [Journal]
  5. Michael Codish
    Worst-Case Groundness Analysis Using Positive Boolean Functions. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:125-128 [Journal]
  6. Christos H. Papadimitriou, Martha Sideri
    On the Floyd-Warshall Algorithm for Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:1, pp:129-137 [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