default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 49
Volume 49, 1987
- Masako Takahashi:
Brzozowski Hierarchy of omega-Languages. 1-12 - Craig C. Squier:
Units of Special Church-Rosser Monoids. 13-22 - Rainer Parchmann, Jürgen Duske:
Grammars, Derivation Modes and Properties of Indexed and Type-0 Languages. 23-42 - Michio Oyamaguchi:
The Church-Rosser Property for Ground Term-Rewriting Systems is Decidable. 43-79 - Leonidas J. Guibas, Jorge Stolfi, Kenneth L. Clarkson:
Solving Related Two-and Three-Dimensional Linear Programming Problems in Logarithmic Time. 81-84 - J. W. de Bakker, John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency. 87-112 - Michael G. Main, Walter Bucher, David Haussler:
Applications of an Infinite Square-Free CO-CFL. 113-119 - Matthew Hennessy:
An Algebraic Theory of Fair Synchronous Communicating Processes. 121-143 - Luc Bougé:
Repeated Snapshots in Distributed Systems with Synchronous Communications and their Implementation in CSP. 145-169 - Zvi Galil, Gad M. Landau, Mordechai M. Yung:
Distributed Algorithms in Synchronous Broadcasting Networks. 171-184 - Kim Guldstrand Larsen:
A Context Dependent Equivalence Between Processes. 184-215 - A. Prasad Sistla, Moshe Y. Vardi, Pierre Wolper
:
The Complementation Problem for Büchi Automata with Appplications to Temporal Logic. 217-237 - Richard Cole:
Partitioning Point Sets in Arbitrary Dimension. 239-265 - Thomas G. Kurtz, Udi Manber:
A Probabilistic Distributed Algorithm for Set Intersection and its Analysis. 267-282 - Philippe Flajolet:
Analytic Models and Ambiguity of Context-Free Languages. 283-309 - Colin Stirling:
Modal Logics for Communicating Systems. 311-347
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:46 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
