Journals in DBLP

J. Log. Program.
1994, volume: 18, number: 2

1. Ritu Chadha, David A. Plaisted
   Correctness of Unification Without Occur Check in Prolog. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1994, v:18, n:2, pp:99-122 [Journal]
   
2. Christoph Beierle, Gregor Meyer
   Run-Time Type Computations in the Warren Abstract Machine. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1994, v:18, n:2, pp:123-148 [Journal]
   
3. Saumya K. Debray, Raghu Ramakrishnan
   Abstract Interpretation of Logic Programs using Magic Transformations. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1994, v:18, n:2, pp:149-176 [Journal]
   
4. Krzysztof R. Apt, Kees Doets
   A New Definition of SNDNF-Resolution. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1994, v:18, n:2, pp:177-190 [Journal]