Journals in DBLP
Masako Takahashi Brzozowski Hierarchy of omega-Languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:1-12 [Journal ] Craig C. Squier Units of Special Church-Rosser Monoids. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:13-22 [Journal ] Rainer Parchmann , Jürgen Duske Grammars, Derivation Modes and Properties of Indexed and Type-0 Languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:23-42 [Journal ] Michio Oyamaguchi The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:43-79 [Journal ] Leonidas J. Guibas , Jorge Stolfi , Kenneth L. Clarkson Solving Related Two-and Three-Dimensional Linear Programming Problems in Logarithmic Time. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:81-84 [Journal ] J. W. de Bakker , John-Jules Ch. Meyer , Ernst-Rüdiger Olderog Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:87-112 [Journal ] Michael G. Main , Walter Bucher , David Haussler Applications of an Infinite Square-Free CO-CFL. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:113-119 [Journal ] Matthew Hennessy An Algebraic Theory of Fair Synchronous Communicating Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:121-143 [Journal ] Luc Bougé Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:145-169 [Journal ] Zvi Galil , Gad M. Landau , Mordechai M. Yung Distributed Algorithms in Synchronous Broadcasting Networks. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:171-184 [Journal ] Kim Guldstrand Larsen A Context Dependent Equivalence Between Processes. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:184-215 [Journal ] A. Prasad Sistla , Moshe Y. Vardi , Pierre Wolper The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:217-237 [Journal ] Richard Cole Partitioning Point Sets in Arbitrary Dimension. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:239-265 [Journal ] Thomas G. Kurtz , Udi Manber A Probabilistic Distributed Algorithm for Set Intersection and its Analysis. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:267-282 [Journal ] Philippe Flajolet Analytic Models and Ambiguity of Context-Free Languages. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:283-309 [Journal ] Colin Stirling Modal Logics for Communicating Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1987, v:49, n:, pp:311-347 [Journal ]