Journals in DBLP

J. Log. Comput.
2001, volume: 11, number: 6

1. Heinrich Wansing
   Corner on directions in nonclassical logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:759-760 [Journal]
   
2. Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka
   The Trilattice of Constructive Truth Values. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:761-788 [Journal]
   
3. Sam Steel
   Comparing some Intuitions of 'Process Calculus' and 'Program Logic'. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:789-827 [Journal]
   
4. Francesca Levi
   Compositional Verification of Quantitative Properties of Statecharts. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:829-878 [Journal]
   
5. Marcus Kracht
   Reducing Modal Consequence Relations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:879-907 [Journal]
   
6. Mark Reynolds, Michael Zakharyaschev
   On the Products of Linear Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:909-931 [Journal]
   
7. Stéphane Demri
   The Complexity of Regularity in Grammar Logics and Related Modal Logics. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:933-960 [Journal]
   
8. Richard E. Overill
   Book Review: "Cryptography and Computational Number Theory" by K.-Y. Lam, I. Shparlinski, H. Wang and C. Xing. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:961- [Journal]
   
9. Richard E. Overill
   Book Review: "Artificial Immune Systems and their Applications" by D. Dasgupta. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2001, v:11, n:6, pp:961-962 [Journal]
   
10. Vladimir A. Zakharov
    Book Review: "Model Checking" by E. Clarke, O. Grumberg and D. A. Peled. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:6, pp:962-964 [Journal]