Journals in DBLP

J. Log. Program.
1993, volume: 15, number: 1&2

1. Tadashi Kanamori, Tadashi Kawamura
   Abstract Interpretation based on OLDT Resolution. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:1-30 [Journal]
   
2. Tadashi Kanamori
   Abstract Interpretation Based on Alexander Templates. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:31-54 [Journal]
   
3. Gerhard Jäger, Robert F. Stärk
   The Defining Power of Stratified and Hierarchical Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:55-77 [Journal]
   
4. Marc Bezem
   Strong Termination of Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:79-97 [Journal]
   
5. Eliezer L. Lozinskii
   A Simple Test Improves Checking Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:99-111 [Journal]
   
6. Tomas Hrycej
   A Temporal Extension of Prolog. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:113-145 [Journal]
   
7. Roland N. Bol
   Loop Checking and Negation. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:147-175 [Journal]
   
8. John N. Hooker
   Solving the incremental satisfiability problem. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1993, v:15, n:1&2, pp:177-186 [Journal]