Journals in DBLP

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

1. Howard Barringer
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:5, pp:573-574 [Journal]
   
2. Renwei Li, Amílcar Sernadas
   Reasoning about Objects Using a Tableau Method. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:5, pp:575-611 [Journal]
   
3. Kosta Dosen
   Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:5, pp:613-634 [Journal]
   
4. Lars Hallnäs, Peter Schroeder-Heister
   A Proof-Theoretic Approach to Logic Programming. II. Programs as Definitions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:5, pp:635-660 [Journal]
   
5. Luca Console, Daniele Theseider Dupré, Pietro Torasso
   On the Relationship between Abduction and Deduction. [Citation Graph (2, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:5, pp:661-690 [Journal]
   
6. Hans Jürgen Ohlbach
   Semantics-Based Translation Methods for Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1991, v:1, n:5, pp:691-746 [Journal]