Journals in DBLP

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

1. Valeria de Paiva, Rajeev Goré, Michael Mendler
   Editorial. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:439-446 [Journal]
   
2. Steven Awodey, Andrej Bauer
   Propositions as Types. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:447-471 [Journal]
   
3. Gianluigi Bellin, Corrado Biasi
   Towards a Logic for Pragmatics. Assertions and Conjectures. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:473-506 [Journal]
   
4. Olivier Brunet
   A Logic for Partial System Description. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:507-528 [Journal]
   
5. Tristan Crolard
   A Formulae-as-Types Interpretation of Subtractive Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:529-570 [Journal]
   
6. Lutz Schröder, Till Mossakowski
   Monad-independent Dynamic Logic in HasCasl. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:571-619 [Journal]
   
7. Valeria de Paiva, Rajeev Goré, Michael Mendler
   Forthcoming Papers. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2004, v:14, n:4, pp:621-622 [Journal]