Journals in DBLP

J. Log. Comput.
1991, volume: 1, number: 6

1. Wilfrid Hodges
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:6, pp:757-759 [Journal]
   
2. Kim Guldstrand Larsen, Liu Xinxin
   Compositionality through an Operational Semantics of Contexts. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:6, pp:761-795 [Journal]
   
3. Melvin Fitting
   Kleene's Logic, Generalized. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:6, pp:797-810 [Journal]
   
4. Robert F. Stärk
   A Complete Axiomatization of the Three-Valued Completion of Logic Programs. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:6, pp:811-834 [Journal]
   
5. Gerd Wagner
   Logic Programming with Strong Negation and Inexact Predicates. [Citation Graph (1, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:6, pp:835-859 [Journal]
   
6. Iain A. Stewart
   Complete Problems Involving Boolean Labelled Structures and Projection Transactions. [Citation Graph (2, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:6, pp:861-882 [Journal]