Journals in DBLP

Theor. Comput. Sci.
2005, volume: 333, number: 1-2

1. Andrew D. Gordon
   Preface for the Special Issue: Foundations of Software Science and Computation Structures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:1- [Journal]
   
2. Andreas Abel, Ralph Matthes, Tarmo Uustalu
   Iteration and coiteration schemes for higher-order and nested datatypes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:3-66 [Journal]
   
3. Bruno Blanchet, Andreas Podelski
   Verification of cryptographic protocols: tagging enforces termination. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:67-90 [Journal]
   
4. Eduardo Bonelli
   Normalisation for higher-order calculi with explicit substitutions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:91-125 [Journal]
   
5. Iovka Boneva, Jean-Marc Talbot
   When ambients cannot be opened. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:127-169 [Journal]
   
6. Franck van Breugel, Michael W. Mislove, Joël Ouaknine, James Worrell
   Domain theory, testing and simulation for labelled Markov processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:171-197 [Journal]
   
7. Jim Laird
   Game semantics and linear CPS interpretation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:199-224 [Journal]
   
8. Denis Lugiez
   Multitree automata that count. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:225-263 [Journal]
   
9. Luigi Santocanale, André Arnold
   Ambiguous classes in mu-calculi hierarchies. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:333, n:1-2, pp:265-296 [Journal]
   
10. Vladimiro Sassone, Pawel Sobocinski
    Locating reaction with 2-categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:333, n:1-2, pp:297-327 [Journal]