Journals in DBLP

J. Log. Comput.
2004, volume: 14, number: 3

1. Torben Braüner
   Natural Deduction for Hybrid Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:3, pp:329-353 [Journal]
   
2. Pavlos Peppas
   The Limit Assumption and Multiple Revision. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:3, pp:355-371 [Journal]
   
3. Stefania Lusin, Antonino Salibra
   The Lattice of Lambda Theories. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:3, pp:373-394 [Journal]
   
4. Radim Belohlávek
   Concept Equations. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:3, pp:395-403 [Journal]
   
5. Gang Chen
   Soundness of Coercion in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:3, pp:405-427 [Journal]
   
6. Tomasz F. Skura
   Rules and Refutation Rules for the Logic of Finite n-ary Trees. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:3, pp:429-435 [Journal]