Journals in DBLP

Theor. Comput. Sci.
2004, volume: 327, number: 1-2

1. H. Peter Gumm
   Preface. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:1-2 [Journal]
   
2. Falk Bartels, Ana Sokolova, Erik P. de Vink
   A hierarchy of probabilistic system types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:3-22 [Journal]
   
3. Hubie Chen, Riccardo Pucella
   A coalgebraic approach to Kleene algebra with tests. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:23-44 [Journal]
   
4. Corina Cîrstea
   A compositional approach to defining logics for coalgebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:45-69 [Journal]
   
5. Jesse Hughes, Bart Jacobs
   Simulations in coalgebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:71-108 [Journal]
   
6. Clemens Kupke, Alexander Kurz, Yde Venema
   Stone coalgebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:109-134 [Journal]
   
7. Marina Lenisa, John Power, Hiroshi Watanabe
   Category theory for operational semantics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:135-154 [Journal]
   
8. Ralph Matthes, Tarmo Uustalu
   Substitution in non-wellfounded syntax with variable binding. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:155-174 [Journal]
   
9. Alessandra Palmigiano
   A coalgebraic view on positive modal logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:327, n:1-2, pp:175-195 [Journal]
   
10. Grigore Rosu
    Behavioral abstraction is hiding information. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:327, n:1-2, pp:197-221 [Journal]