Journals in DBLP
Melvin Fitting Editorial. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:2, pp:107-110 [Journal ] 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 ] Manfred Droste Finite Axiomatizations for Universal Domains. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:2, pp:119-131 [Journal ] 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 ] 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 ] Dirk Roorda Proof Nets for Lambek Calculus. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 1992, v:2, n:2, pp:211-231 [Journal ]