Journals in DBLP

J. Log. Program.
1984, volume: 1, number: 1

1. John Alan Robinson
   Editor's Introduction. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:1, pp:1-2 [Journal]
   
2. Lars-Henrik Eriksson
   Synthesis of a Unification Algorithm in a Logic Programming Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:1, pp:3-18 [Journal]
   
3. Ehud Y. Shapiro
   Alternation and the Computational Complexity of Logic Programs. [Citation Graph (2, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:1, pp:19-33 [Journal]
   
4. Cynthia Dwork, Paris C. Kanellakis, John C. Mitchell
   On the Sequential Nature of Unification. [Citation Graph (6, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:1, pp:35-50 [Journal]
   
5. John C. Shepherdson
   Negation as Failure: A Comparison of Clark's Completed Data Base and Reiter's Closed World Assumption. [Citation Graph (5, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:1, pp:51-79 [Journal]
   
6. Michael D. Poe, Roger Nasr, Janett Potter, Janet Slinn
   A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:1, pp:81-142 [Journal]