Journals in DBLP
Ker-I Ko On Some Natural Complete Operators. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:1-30 [Journal ] Grzegorz Rozenberg On Coordinated Selective Substitutions: Towards a Unified Theory of Grammars and Machines. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:31-50 [Journal ] David E. Muller , Paul E. Schupp The Theory of Ends, Pushdown Automata, and Second-Order Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:51-75 [Journal ] Jan A. Bergstra , Jan Willem Klop Algebra of Communicating Processes with Abstraction. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:77-121 [Journal ] Jean H. Gallier , Ronald V. Book Reductions in Tree Replacement Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:123-150 [Journal ] Luc Bougé A Contribution to the Theory of Program Testing. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:151-181 [Journal ] Karel Culik II , Ivan Fris Topological Transformations as a Tool in the Design of Systolic Networks. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:183-216 [Journal ] Jakob Gonczarowski , Manfred K. Warmuth Applications of Scheduling Theory to Formal Language Theory. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:217-243 [Journal ] Robert de Simone Higher-Level Synchronising Devices in Meije-SCCS. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:245-267 [Journal ] Andrzej Tarlecki On the Existence of Free Models in Abstract Algebraic Institutuons. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:269-304 [Journal ] Philippe Darondeau About Fair Asynchrony. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:305-336 [Journal ] Andrzej Ehrenfeucht , H. C. M. Kleijn , Grzegorz Rozenberg Adding Global Forbidding Context to Context-Free Grammars. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:37, n:, pp:337-360 [Journal ]