Journals in DBLP

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

1. Jacques Farré, Igor Litovsky
   Editorial. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:107- [Journal]
   
2. Arnaud Bailly, Mireille Clerbout, Isabelle Simplot-Ryl
   Component composition preserving behavioral contracts based on communication traces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:108-123 [Journal]
   
3. Cédric Bastien, Jurek Czyzowicz, Wojciech Fraczak, Wojciech Rytter
   Prime normal form and equivalence of simple grammars. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:124-134 [Journal]
   
4. Cezar Câmpeanu, Andrei Paun, Jason R. Smith
   Incremental construction of minimal deterministic finite cover automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:135-148 [Journal]
   
5. Oscar H. Ibarra, Hsu-Chun Yen
   Deterministic catalytic systems are not universal. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:149-161 [Journal]
   
6. Tomasz Jurdzinski, Friedrich Otto
   Restarting automata with restricted utilization of auxiliary symbols. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:162-181 [Journal]
   
7. Joachim Klein, Christel Baier
   Experiments with deterministic omega-automata for formulas of linear temporal logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:182-195 [Journal]
   
8. Markus Lohrey, Sebastian Maneth
   The complexity of tree automata and XPath on grammar-compressed trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:196-210 [Journal]
   
9. Wojciech Rytter
   The structure of subword graphs and suffix trees of Fibonacci words. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:363, n:2, pp:211-223 [Journal]
   
10. Christoph Schulte Althoff, Wolfgang Thomas, Nico Wallmeier
    Observations on determinization of Büchi automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:363, n:2, pp:224-233 [Journal]
    
11. Hellis Tamm, Matti Nykänen, Esko Ukkonen
    On size reduction techniques for multitape automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:363, n:2, pp:234-246 [Journal]