Journals in DBLP

Theor. Comput. Sci.
1994, volume: 134, number: 2

1. Johannes Köbler
   Locating P/poly Optimally in the Extended Low Hierarchy. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:263-285 [Journal]
   
2. Edward P. F. Chan
   Testing Satisfiability of a Class of Object-Oriented Conjunctive Queries. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:287-309 [Journal]
   
3. Zoltán Fülöp
   Undecidable Properties of Deterministic Top-Down Tree Transducers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:311-328 [Journal]
   
4. Michael Kaminski, Nissim Francez
   Finite-Memory Automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:329-363 [Journal]
   
5. Ferucio Laurentiu Tiplea, Cristian Ene, Cecilia Magdalena Ionescu, Octavian Procopiuc
   Some Decision Problems for Parallel Communicating Grammar Systems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:365-385 [Journal]
   
6. Bruno Durand
   Inversion of 2D Cellular Automata: Some Complexity Results. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:387-401 [Journal]
   
7. Tero Harju, H. C. M. Kleijn, Michel Latteux, Alain Terlutte
   Representation of Rational Functions with Prefix and Suffix Codings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:403-413 [Journal]
   
8. Eric Rémila
   On the Tiling of a Torus with Two Bars. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:415-426 [Journal]
   
9. Louis Mak
   Speedup of Determinism by Alternation for Multidimensional Turing Machines. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1994, v:134, n:2, pp:427-453 [Journal]
   
10. Frantisek Matús
    Stochastic Independence, Algebraic Independence and Abstract Connectedness. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:455-471 [Journal]
    
11. Tao Jiang, Ming Li
    Approximating Shortest Superstrings with Constraints. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:473-491 [Journal]
    
12. Elias Dahlhaus, Marek Karpinski
    An Efficient Parallel Algorithm for the Minimal Elimination Ordering (MEO) of an Arbitrary Graph. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:493-528 [Journal]
    
13. Laurent Alonso
    Uniform Generation of a Motzkin Word. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:529-536 [Journal]
    
14. John Harrison
    Morphic Congruences and D0L Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:537-544 [Journal]
    
15. Lance Fortnow, John Rompel, Michael Sipser
    On the Power of Multi-Prover Interactive Protocols. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:545-557 [Journal]
    
16. Gu Xunrang, Zhu Yuzhang
    Asymptotic Optimal HEAPSORT Algorithm. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:134, n:2, pp:559-565 [Journal]