Journals in DBLP
Stephen L. Bloom , James W. Thatcher , Eric G. Wagner , Jesse B. Wright Recursion and Iteration in Continuous Theories: The "M-Construction". [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:148-164 [Journal ] Hartmut Schmeck Algebraic Characterization of Reducible Flowcharts. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:165-199 [Journal ] Francesco Parisi-Presicce Extensions of Iterative Congruences on Free Iterative Algebras. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:200-220 [Journal ] Douglas R. Troeger An Axiomatization of D-scheme Strong Equivalence. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:221-224 [Journal ] Stephen L. Bloom All Solutions of a System of Recursion Equations in Infinite Trees and Other Contraction Theories. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:225-255 [Journal ] Michael O. Rabin Transaction Protection by Beacons. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:256-267 [Journal ] Joseph A. Goguen , José Meseguer Correctness of Recursive Parallel Nondeterministic Flow Programs. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:268-290 [Journal ] Zoltán Ésik Algebras of Iteration Theories. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:291-303 [Journal ] Edward K. Blum , Francesco Parisi-Presicce Implementation of Data Types by Algebraic Methods. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1983, v:27, n:2, pp:304-330 [Journal ]