Journals in DBLP

J. Log. Program.
1992, volume: 12, number: 3&4

1. Pierre Lescanne, Wolfgang Wechler
   Introduction - ALP 1988. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:189- [Journal]
   
2. Juan José Moreno-Navarro, Mario Rodríguez-Artalejo
   Logic Programming with Functions and Predicates: The Language BABEL. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:191-223 [Journal]
   
3. Bernd I. Dahn
   Boolean Valued Models and Incomplete Specifications. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:225-236 [Journal]
   
4. Heinrich Hußmann
   Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:237-255 [Journal]
   
5. Jean-Pierre Jouannaud, Claude Kirchner, Hélène Kirchner, Aristide Mégrelis
   Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:257-279 [Journal]
   
6. Annie Foret
   Rewrite Rule Systems for Modal Propositional Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:281-298 [Journal]
   
7. Bharat Jayaraman
   Implementation of Subset-Equational Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:299-324 [Journal]
   
8. W. F. Clocksin
   Logic-Programming Specification and Execution of Dynamic-Programming Problems. [Citation Graph (0, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:325-333 [Journal]
   
9. Michael Kifer, V. S. Subrahmanian
   Theory of Generalized Annotated Logic Programming and its Applications. [Citation Graph (8, 0)][DBLP]
   J. Log. Program., 1992, v:12, n:3&4, pp:335-367 [Journal]
   
10. Ouri Wolfson
    Parallel Evaluation of Datalog Programs by Load Sharing. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1992, v:12, n:3&4, pp:369-393 [Journal]