Journals in DBLP

J. Log. Comput.
1992, volume: 2, number: 2

1. Melvin Fitting
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:2, pp:107-110 [Journal]
   
2. Jean-Yves Girard
   Logic and Exceptions: A Few Remarks. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:2, pp:111-118 [Journal]
   
3. Manfred Droste
   Finite Axiomatizations for Universal Domains. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:2, pp:119-131 [Journal]
   
4. Els Laenens, Dirk Vermeir
   Assumption-Free Semantics for Ordered Logic Programs: On the Relationship between Well-Founded and Stable Partial Models. [Citation Graph (3, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:2, pp:133-172 [Journal]
   
5. E. Allen Emerson, Tom Sadler, Jai Srinivasan
   Efficient Temporal Satisfiability. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:2, pp:173-210 [Journal]
   
6. Dirk Roorda
   Proof Nets for Lambek Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:2, pp:211-231 [Journal]