Journals in DBLP
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 ] James Hein Completions of Perpetual Logic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1992, v:99, n:1, pp:65-78 [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ]