Journals in DBLP

Theor. Comput. Sci.
1990, volume: 71, number: 3

1. Géraud Sénizergues
   Some Decision Problems about Controlled Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:281-346 [Journal]
   
2. Hartmut Ehrig, Francesco Parisi-Presicce, Paul Boehm, Catharina Rieckhoff, Christian Dimitrovici, Martin Große-Rhode
   Combining Data Type and Recursive Process Specifications Using Projection Algebras. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:347-380 [Journal]
   
3. Serge Dulucq, Dominique Gouyou-Beauchamps
   Sur les Facteurs des Suites de Sturm. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:381-400 [Journal]
   
4. Alan Gibbons, Wojciech Rytter
   Optimally Edge-Colouring Outerplanar Graphs is in NC. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:401-411 [Journal]
   
5. Ernest G. Manes
   A Transformational Characterization of if-then-else. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:413-417 [Journal]
   
6. Marek Chrobak, Tomasz Szymacha, Adam Krawczyk
   A Data Structure Useful for Finding Hamiltonian Cycles. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:419-424 [Journal]
   
7. Kostas Skandalis
   Non-Recursiveness of the Operations on Real Numbers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:71, n:3, pp:425-429 [Journal]