Journals in DBLP

Theor. Comput. Sci.
1994, volume: 126, number: 1

1. Henrik Reif Andersen
   Model Checking and Boolean Graphs. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:126, n:1, pp:3-30 [Journal]
   
2. Anne-Cécile Caron, Jean-Luc Coquidé
   Decidability of Reachability for Disjoint Union of Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:126, n:1, pp:31-52 [Journal]
   
3. Bruno Courcelle
   Monadic Second-Order Definable Graph Transductions: A Survey. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:126, n:1, pp:53-75 [Journal]
   
4. Mads Dam
   CTL* and ECTL* as Fragments of the Modal mu-Calculus. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:126, n:1, pp:77-96 [Journal]
   
5. Andreas Potthoff
   Modulo-Counting Quantifiers Over Finite Trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:126, n:1, pp:97-112 [Journal]
   
6. Helmut Seidl
   Finite Tree Automata with Cost Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:126, n:1, pp:113-142 [Journal]