Journals in DBLP

Theor. Comput. Sci.
1990, volume: 74, number: 1

1. Volker Diekert
   Word Problems Over Traces which are Solvable in Linear Time. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:3-18 [Journal]
   
2. Donald S. Fussell, Ramakrishna Thurimella
   Successive Approximation in Parallel Graph Algorithms. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:19-35 [Journal]
   
3. Antonio Gavilanes-Franco, Francisca Lucio-Carrasco
   A First Order Logic for Partial Functions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:37-69 [Journal]
   
4. Petr Jancar
   Decidability of a Temporal Logic Problem for Petri Nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:71-93 [Journal]
   
5. Franco P. Preparata, Roberto Tamassia
   Dynamic Planar Point Location with Optimal Query Time. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:95-114 [Journal]
   
6. Andrzej Szepietowski
   If Deterministic and Nondeterministic Space Complexities are Equal for log log n, then they are also Equal for log n. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:115-119 [Journal]
   
7. Paul Gastin
   Un Modèle Asynchrone pour les Systèmes Distribués. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1990, v:74, n:1, pp:121-162 [Journal]