Oyamaguchi, Michio The Church-Rosser property for ground term-rewriting systems is decidable. (English) Zbl 0641.68044 Theor. Comput. Sci. 49, 43-79 (1987). Reviewer: J.Zlatuska MSC: 68Q65 20M05 68Q45 68T15 08A50 20M35 PDFBibTeX XMLCite \textit{M. Oyamaguchi}, Theor. Comput. Sci. 49, 43--79 (1987; Zbl 0641.68044) Full Text: DOI
Parchmann, R.; Duske, J. Grammars, derivation modes and properties of indexed and type-0 languages. (English) Zbl 0636.68096 Theor. Comput. Sci. 49, 23-42 (1987). Reviewer: M.Linna MSC: 68Q45 PDFBibTeX XMLCite \textit{R. Parchmann} and \textit{J. Duske}, Theor. Comput. Sci. 49, 23--42 (1987; Zbl 0636.68096) Full Text: DOI
Takahashi, Masako Brzozowski hierarchy of \(\omega\)-languages. (English) Zbl 0632.68079 Theor. Comput. Sci. 49, 1-12 (1987). Reviewer: L.Staiger MSC: 68Q45 03D05 PDFBibTeX XMLCite \textit{M. Takahashi}, Theor. Comput. Sci. 49, 1--12 (1987; Zbl 0632.68079) Full Text: DOI
Stirling, Colin Modal logics for communicating systems. (English) Zbl 0624.68019 Theor. Comput. Sci. 49, 311-347 (1987). Reviewer: J.-J.Ch.Meyer MSC: 68Q60 68N25 68Q65 PDFBibTeX XMLCite \textit{C. Stirling}, Theor. Comput. Sci. 49, 311--347 (1987; Zbl 0624.68019) Full Text: DOI
Guibas, Leo J.; Stolfi, Jorge; Clarkson, Kenneth L. Solving related two- and three-dimensional linear programming problems in logarithmic time. (English) Zbl 0623.90049 Theor. Comput. Sci. 49, 81-84 (1987). MSC: 90C05 68Q25 PDFBibTeX XMLCite \textit{L. J. Guibas} et al., Theor. Comput. Sci. 49, 81--84 (1987; Zbl 0623.90049) Full Text: DOI
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. Infinite streams and finite observations in the semantics of uniform concurrency. (English) Zbl 0623.68016 Theor. Comput. Sci. 49, 87-112 (1987). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 49, 87--112 (1987; Zbl 0623.68016) Full Text: DOI Link
Bougé, Luc Repeated snapshots in distributed systems with synchronous communications and their implementation in CSP. (English) Zbl 0617.68023 Theor. Comput. Sci. 49, 145-169 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{L. Bougé}, Theor. Comput. Sci. 49, 145--169 (1987; Zbl 0617.68023) Full Text: DOI
Squier, Craig C. Units of special Church-Rosser monoids. (English) Zbl 0616.20029 Theor. Comput. Sci. 49, 13-22 (1987). Reviewer: P.M.Higgins MSC: 20M05 20M35 68Q45 PDFBibTeX XMLCite \textit{C. C. Squier}, Theor. Comput. Sci. 49, 13--22 (1987; Zbl 0616.20029) Full Text: DOI
Sistla, A. Prasad; Vardi, Moshe Y.; Wolper, Pierre The complementation problem for Büchi automata with applications to temporal logic. (English) Zbl 0613.03015 Theor. Comput. Sci. 49, 217-237 (1987). MSC: 03D05 03B70 03B25 68Q65 03D15 03B45 PDFBibTeX XMLCite \textit{A. P. Sistla} et al., Theor. Comput. Sci. 49, 217--237 (1987; Zbl 0613.03015) Full Text: DOI
Cole, Richard Partitioning point sets in arbitrary dimension. (English) Zbl 0612.68089 Theor. Comput. Sci. 49, 239-265 (1987). MSC: 68P20 68P05 68P10 PDFBibTeX XMLCite \textit{R. Cole}, Theor. Comput. Sci. 49, 239--265 (1987; Zbl 0612.68089) Full Text: DOI
Main, Michael G.; Bucher, Walter; Haussler, David Applications of an infinite square-free co-CFL. (English) Zbl 0612.68070 Theor. Comput. Sci. 49, 113-119 (1987). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. G. Main} et al., Theor. Comput. Sci. 49, 113--119 (1987; Zbl 0612.68070) Full Text: DOI
Flajolet, Philippe Analytic models and ambiguity of context-free languages. (English) Zbl 0612.68069 Theor. Comput. Sci. 49, 283-309 (1987). MSC: 68Q45 PDFBibTeX XMLCite \textit{P. Flajolet}, Theor. Comput. Sci. 49, 283--309 (1987; Zbl 0612.68069) Full Text: DOI Link
Kurtz, Thomas G.; Manber, Udi A probabilistic distributed algorithm for set intersection and its analysis. (English) Zbl 0612.68039 Theor. Comput. Sci. 49, 267-282 (1987). MSC: 68Q25 PDFBibTeX XMLCite \textit{T. G. Kurtz} and \textit{U. Manber}, Theor. Comput. Sci. 49, 267--282 (1987; Zbl 0612.68039) Full Text: DOI Link
Larsen, Kim G. A context dependent equivalence between processes. (English) Zbl 0612.68027 Theor. Comput. Sci. 49, 185-215 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{K. G. Larsen}, Theor. Comput. Sci. 49, 185--215 (1987; Zbl 0612.68027) Full Text: DOI
Hennessy, Matthew An algebraic theory of fair asynchronous communicating processes. (English) Zbl 0612.68026 Theor. Comput. Sci. 49, 121-143 (1987). MSC: 68N25 PDFBibTeX XMLCite \textit{M. Hennessy}, Theor. Comput. Sci. 49, 121--143 (1987; Zbl 0612.68026) Full Text: DOI
Galil, Zvi; Landau, Gad M.; Yung, Mordechai M. Distributed algorithms in synchronous broadcasting networks. (English) Zbl 0612.68007 Theor. Comput. Sci. 49, 171-184 (1987). MSC: 68N99 68W99 68Q25 03D60 68P10 68U20 94A05 PDFBibTeX XMLCite \textit{Z. Galil} et al., Theor. Comput. Sci. 49, 171--184 (1987; Zbl 0612.68007) Full Text: DOI DOI