Journals in DBLP

Theor. Comput. Sci.
2006, volume: 353, number: 1-3

1. Lutz Schröder
   The HASCASL prologue: Categorical syntax and semantics of the partial lambda-calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:1-25 [Journal]
   
2. Zhaohui Zhu
   Similarity between preferential models. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:26-52 [Journal]
   
3. Sven Hartmann, Sebastian Link
   On a problem of Fagin concerning multivalued dependencies in relational databases. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:53-62 [Journal]
   
4. Wenhui Zhang
   Structure of proofs and the complexity of cut elimination. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:63-70 [Journal]
   
5. Shiyong Lu, Arthur J. Bernstein, Philip M. Lewis
   Automatic workflow verification and generation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:71-92 [Journal]
   
6. Valentin Goranko, Govert van Drimmelen
   Complete axiomatization and decidability of Alternating-time temporal logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:93-117 [Journal]
   
7. John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague
   A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:118-164 [Journal]
   
8. Norihiro Kamide
   Linear and affine logics with temporal, spatial and epistemic operators. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:165-207 [Journal]
   
9. Hanifa Boucheneb, Rachid Hadjidj
   CTL^* model checking for time Petri nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:353, n:1-3, pp:208-227 [Journal]
   
10. Natalia López, Manuel Núñez, Ismael Rodríguez
    Specification, testing and implementation relations for symbolic-probabilistic systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:228-248 [Journal]
    
11. François Laroussinie, Nicolas Markey, Ph. Schnoebelen
    Efficient timed model checking for discrete-time systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:249-271 [Journal]
    
12. Mark Kambites
    Automatic semigroups and categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:272-290 [Journal]
    
13. Florentin Ipate
    Testing against a non-controllable stream X-machine using state counting. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:353, n:1-3, pp:291-316 [Journal]