Journals in DBLP

J. Log. Comput.
1994, volume: 4, number: 6

1. Christophe Fouqueré, Jacqueline Vauzeilles
   Linear Logic and Exceptions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:6, pp:859-876 [Journal]
   
2. Mehmet A. Orgun, William W. Wadge
   Extending Temporal Logic Programming with Choice Predicates Non-Determinism. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:6, pp:877-903 [Journal]
   
3. Reiner Hähnle
   Short Conjunctive Normal Forms in Finitely Valued Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:6, pp:905-927 [Journal]
   
4. Arnon Avron
   Some Properties of Linear Logic Proved by Semantic Methods. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:6, pp:929-938 [Journal]
   
5. Mads Dam
   Process-Algebraic Interpretations of Positive Linear and Relevant Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:6, pp:939-973 [Journal]