Journals in DBLP

J. Log. Comput.
2003, volume: 13, number: 5

1. David J. Pym
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:633-638 [Journal]
   
2. Iliano Cervesato, Frank Pfenning
   A Linear Spine Calculus. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:639-688 [Journal]
   
3. Roy Dyckhoff, Christian Urban
   Strong Normalization of Herbelin's Explicit Substitution Calculus with Substitution Propagation. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:689-706 [Journal]
   
4. Didier Galmiche, Daniel Méry
   Semantic Labelled Tableaux for Propositional BI. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:707-753 [Journal]
   
5. Gianluigi Bellin, Kurt Ranalter
   A Kripke-style Semantics for the Intuitionistic Logic of Pragmatics ILP. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:755-775 [Journal]
   
6. Edmund Robinson
   Proof Nets for Classical Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:777-797 [Journal]
   
7. David J. Pym
   Forthcoming Papers. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2003, v:13, n:5, pp:799-800 [Journal]