Journals in DBLP

Theor. Comput. Sci.
1992, volume: 99, number: 1

1. Virgil Emil Cazanescu, Gheorghe Stefanescu
   A General Result on Abstract Flowchart Schemes with Applications to the Study of Accessibility, Reduction and Minimization. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:1-63 [Journal]
   
2. James Hein
   Completions of Perpetual Logic Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:65-78 [Journal]
   
3. Jean-Luc Lambert
   A Structure to Decide Reachability in Petri Nets. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:79-104 [Journal]
   
4. Wim H. Hesselink
   Processes and Formalism for Unbounded Choice. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:105-119 [Journal]
   
5. Lutz Priese, Doris Nolte
   Strong Fairness and Ultra Metrics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:121-140 [Journal]
   
6. Philip S. Mulry
   Monads and Algebras in the Semantics or Partial Data Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:141-155 [Journal]
   
7. Sanguthevar Rajasekaran, John H. Reif
   Nested Annealing: A Provable Improvement to Simulated Annealing. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1992, v:99, n:1, pp:157-176 [Journal]