Journals in DBLP

Theor. Comput. Sci.
1995, volume: 148, number: 2

1. Carme Àlvarez, Birgit Jenner
   On Adaptive DLOGTIME and POLYLOGTIME Reductions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:183-205 [Journal]
   
2. Bernd Borchert
   On the Acceptance Power of Regular Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:207-225 [Journal]
   
3. Véronique Bruyère, Clelia de Felice, Giovanna Guaiana
   On Some Decision Problems for Trace Codings. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:227-260 [Journal]
   
4. Kousha Etessami, Neil Immerman
   Reachability and the Power of Local Ordering. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:261-279 [Journal]
   
5. Petr Jancar
   Undecidability of Bisimilarity for Petri Nets and Some Related Problems. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:281-301 [Journal]
   
6. François Laroussinie, Ph. Schnoebelen
   A Hierarchy of Temporal Logics with Past. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:303-324 [Journal]
   
7. Ashish V. Naik, Kenneth W. Regan, D. Sivakumar
   On Quasilinear-Time Complexity Theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1995, v:148, n:2, pp:325-349 [Journal]