Journals in DBLP

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

1. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
   A Theory of Complete Logic Programs with Equality. [Citation Graph (1, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:3, pp:211-223 [Journal]
   
2. John W. Lloyd, Rodney W. Topor
   Making Prolog more Expressive. [Citation Graph (14, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:3, pp:225-240 [Journal]
   
3. György E. Révész
   An Extension of Lambda-Calculus for Functional Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:3, pp:241-251 [Journal]
   
4. Francis Giannesini, Jacques Cohen
   Parser Generation and Grammar Manipulation Using Prolog's Infinite Trees. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:3, pp:253-265 [Journal]
   
5. William F. Dowling, Jean H. Gallier
   Linear-Time Algorithms for Testing the Satisfiability of Propositional Horn Formulae. [Citation Graph (7, 0)][DBLP]
   J. Log. Program., 1984, v:1, n:3, pp:267-284 [Journal]