Journals in DBLP

Theor. Comput. Sci.
1989, volume: 67, number: 1

1. Vadim E. Kotov, J. Pottossine
   Andrei P. Ershov 1931-1988. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:1-4 [Journal]
   
2. Charles Swart, Dana S. Richards
   On the Inference of Strategies. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:5-18 [Journal]
   
3. Ursula Martin
   A Geometrical Approach to Multiset Orderings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:17-54 [Journal]
   
4. Friedrich Otto
   On Deciding Confluence of Finite String-Rewriting Systems Modulo Partial Commutativity. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:19-35 [Journal]
   
5. Michael Clausen
   Fast Generalized Fourier Transforms. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:55-63 [Journal]
   
6. Danièle Beauquier
   Minimal Automaton for a Factorial, Transitive and Rational Language. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:65-73 [Journal]
   
7. Etsuro Moriya
   A Grammatical Characterization of Alternating Pushdown Automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:75-85 [Journal]
   
8. Gabriele Marongiu, Sauro Tulipani
   On a Conjecture of Bergstra and Tucker. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:87-97 [Journal]
   
9. Katsushi Inoue, Itsuo Takanami, Juraj Hromkovic
   A Leaf-Size Hierarchy of Two-Dimensional Alternating Turing Machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1989, v:67, n:1, pp:99-110 [Journal]
   
10. Michel Cosnard, Jean Duprat, Afonso Ferreira
    Complexity of Selection in X + Y. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:67, n:1, pp:105-120 [Journal]
    
11. Dana Pardubská, Ivana Stefáneková
    Nondeterministic Multicounter Machines and Complementation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:67, n:1, pp:111-113 [Journal]
    
12. Catherine Petuaud
    Entropie Topologique des Systemes Specifies. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:67, n:1, pp:121-128 [Journal]
    
13. Ramón Pino Pérez
    Decidability of the Restriction Equational Theory in the Partial Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1989, v:67, n:1, pp:129-139 [Journal]