Journals in DBLP

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

1. Betti Venneri
   Intersection Types as Logical Formulae. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:2, pp:109-124 [Journal]
   
2. Heinrich Wansing
   Sequent Calculi for Normal Modal Proposisional Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:2, pp:125-142 [Journal]
   
3. Jürgen Dix, Martin Kummer
   Herbrand's Theorem for Nonstandard Inference Operations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:2, pp:143-156 [Journal]
   
4. Andreas Polyméris
   Conjunctive Normal Forms in Three-Valued Propositional Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:2, pp:157-174 [Journal]
   
5. David J. Pym, James Harland
   A Uniform Proof-Theoretic Investigation of Linear Logic Programming. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1994, v:4, n:2, pp:175-207 [Journal]