The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Program.
1992, volume: 14, number: 1&2

  1. Marianne Baudinet
    Proving Termination Properties of Prolog Programs: A Semantic Approach. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:1-29 [Journal]
  2. Philip W. Dart, Justin Zobel
    Efficient Run-Time Type Checking of Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:31-69 [Journal]
  3. Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch
    The Term Rewriting Approach to Automated Theorem Proving. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:71-99 [Journal]
  4. Sumit Ganguly, Abraham Silberschatz, Shalom Tsur
    Parallel Bottom-Up Processing of Datalog Queries. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:101-126 [Journal]
  5. Raymond Reiter
    What Should a Database Know? [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:127-153 [Journal]
  6. Maria Paola Bonacina, Jieh Hsiang
    On Rewrite Programs: Semantics and Relationship with Prolog. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:155-180 [Journal]
  7. Dimiter Skordev
    Short Note: On Van Gelder's Loop Detection Algorithm. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:181-183 [Journal]
  8. Allen Van Gelder
    Short Note: Van Gelder's Response. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:14, n:1&2, pp:185- [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