Journals in DBLP

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

1. Maarten H. van Emden
   Editorial: Rhetoric versus Modernism in Computing. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:5, pp:551-555 [Journal]
   
2. A. W. Roscoe
   An Alternative Order for the Failures Model. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:5, pp:557-577 [Journal]
   
3. Fairouz Kamareddine
   Set Theory and Nominalization, Part I. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:5, pp:579-604 [Journal]
   
4. Edmund M. Clarke, Orna Grumberg, Robert P. Kurshan
   A Synthesis of Two Approaches for Verifying Finite State Concurrent Systems. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:5, pp:605-618 [Journal]
   
5. Dan Sahlin, Torkel Franzén, Seif Haridi
   An Intuitionistic Predicate Logic Theorem Prover. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 1992, v:2, n:5, pp:619-656 [Journal]