Journals in DBLP

Theor. Comput. Sci.
1992, volume: 106, number: 1

1. Gérard Boudol, Kim Guldstrand Larsen
   Graphical Versus Logical Specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:106, n:1, pp:3-20 [Journal]
   
2. Jiazhen Cai, Robert Paige, Robert Endre Tarjan
   More Efficient Bottom-Up Multi-Pattern Matching in Trees. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:106, n:1, pp:21-60 [Journal]
   
3. Didier Caucal
   On the Regular Structure of Prefix Rewriting. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:106, n:1, pp:61-86 [Journal]
   
4. Emmanuel Kounalis
   Testing for the Ground (Co-)Reducibility Property in Term-Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:106, n:1, pp:87-117 [Journal]
   
5. Michael I. Schwartzbach
   Interpretations of Recursively Defined Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:106, n:1, pp:119-134 [Journal]
   
6. Helmut Seidl
   Single-Valuedness of Tree Transducers is Decidable in Polynomial Time. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:106, n:1, pp:135-181 [Journal]