Journals in DBLP

Theor. Comput. Sci.
2006, volume: 364, number: 2

1. Ruy J. G. B. de Queiroz, Patrick Cégielski
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:143-145 [Journal]
   
2. Gianluigi Bellin, Martin Hyland, Edmund Robinson, Christian Urban
   Categorical proof theory of classical propositional calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:146-165 [Journal]
   
3. Thomas Ehrhard, Laurent Regnier
   Differential interaction nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:166-195 [Journal]
   
4. Olivier Finkel
   On decidability properties of local sentences. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:196-211 [Journal]
   
5. Sven Hartmann, Sebastian Link
   Deciding implication for functional dependencies in complex-value databases. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:212-240 [Journal]
   
6. Michael Kaminski, Julia Rubin-Mosin
   Default theories over monadic languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:241-253 [Journal]
   
7. John Power
   Generic models for computational effects. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:364, n:2, pp:254-269 [Journal]