Journals in DBLP

Theor. Comput. Sci.
1996, volume: 154, number: 1

1. Artur Czumaj, Alan Gibbons
   Guthrie's Problem: New Equivalences and Rapid Reductions. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:3-22 [Journal]
   
2. Marek Karpinski, Rutger Verbeek
   On Randomized versus Deterministic Computation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:23-39 [Journal]
   
3. Jerzy W. Jaromczyk, Grzegorz Swiatek
   A Theory of Even Functionals and Their Algorithmic Applications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:41-56 [Journal]
   
4. David M. Cohen, Michael L. Fredman
   Products of Finite State Machines with Full Coverage. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:57-65 [Journal]
   
5. Werner Ebinger, Anca Muscholl
   Logical Definability on Infinite Traces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:67-84 [Journal]
   
6. Thomas Wilke
   An Algebraic Characterization of Frontier Testable Tree Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:85-106 [Journal]
   
7. Lalita Jategaonkar, Albert R. Meyer
   Deciding True Concurrency Equivalences on Safe, Finite Nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:154, n:1, pp:107-143 [Journal]