Kuich, Werner Unambiguous automata. (English) Zbl 0668.68063 Bull. EATCS 33, 62-67 (1987). Reviewer: A.V.Anisimov MSC: 68Q70 03D05 20M35 20F10 PDF BibTeX XML Cite \textit{W. Kuich}, Bull. EATCS 33, 62--67 (1987; Zbl 0668.68063)
Tel, Gerard; van Leeuwen, Jan A non-deterministic algorithm and its analysis. (English) Zbl 0667.68047 Bull. EATCS 33, 100-103 (1987). Reviewer: C.Radu MSC: 68W99 68M20 68Q25 PDF BibTeX XML Cite \textit{G. Tel} and \textit{J. van Leeuwen}, Bull. EATCS 33, 100--103 (1987; Zbl 0667.68047)
Main, Michael G. A powerdomain primer. (English) Zbl 0667.68039 Bull. EATCS 33, 115-147 (1987). Reviewer: G.Ciobanu MSC: 68Q65 68Q60 06A06 PDF BibTeX XML Cite \textit{M. G. Main}, Bull. EATCS 33, 115--147 (1987; Zbl 0667.68039)
Benson, David B. Concurrency and interleaving are equally fundamental. (English) Zbl 0667.68021 Bull. EATCS 33, 54-55 (1987). Reviewer: G.Ciobanu MSC: 68Q60 68Q65 06A06 PDF BibTeX XML Cite \textit{D. B. Benson}, Bull. EATCS 33, 54--55 (1987; Zbl 0667.68021)
Szelepcsényi, Róbert The method of forcing for nondeterministic automata. (English) Zbl 0664.68082 Bull. EATCS 33, 96-100 (1987). Reviewer: D.Lucanu MSC: 68Q45 68Q05 PDF BibTeX XML Cite \textit{R. Szelepcsényi}, Bull. EATCS 33, 96--100 (1987; Zbl 0664.68082)
Habel, Annegret; Kreowski, Hans-Jörg; Vogler, Walter Compatible graph properties are decidable for hyperedge replacement graph languages. (English) Zbl 0664.68076 Bull. EATCS 33, 55-62 (1987). Reviewer: H.J.Schneider MSC: 68Q45 05C65 68R10 05C20 PDF BibTeX XML Cite \textit{A. Habel} et al., Bull. EATCS 33, 55--62 (1987; Zbl 0664.68076)
Ochmański, Edward A non-invertible PCF language. (English) Zbl 0663.68086 Bull. EATCS 33, 83-84 (1987). Reviewer: F.-L.Tiplea MSC: 68Q45 PDF BibTeX XML Cite \textit{E. Ochmański}, Bull. EATCS 33, 83--84 (1987; Zbl 0663.68086)
Lange, Klaus-Jörn; Schudy, Michael A further link between formal languages and complexity theory. (English) Zbl 0663.68060 Bull. EATCS 33, 67-71 (1987). Reviewer: T.Balanescu MSC: 68Q25 68Q45 68Q42 PDF BibTeX XML Cite \textit{K.-J. Lange} and \textit{M. Schudy}, Bull. EATCS 33, 67--71 (1987; Zbl 0663.68060)
Salomaa, Arto The formal languages column - PLAYFAIR. (English) Zbl 0661.68072 Bull. EATCS 33, 42-53 (1987). Reviewer: J.Vyskoč MSC: 68Q45 94A60 68Q25 PDF BibTeX XML Cite \textit{A. Salomaa}, Bull. EATCS 33, 42--53 (1987; Zbl 0661.68072)
Hartmanis, Juris The structural complexity column - The collapsing hierarchies. (English) Zbl 0661.68047 Bull. EATCS 33, 26-39 (1987). Reviewer: U.Schöning MSC: 68Q25 68Q05 03D15 PDF BibTeX XML Cite \textit{J. Hartmanis}, Bull. EATCS 33, 26--39 (1987; Zbl 0661.68047)
Meyer, J.-J. Ch. Process modalities obtained as fixed points. II. (English) Zbl 0661.68032 Bull. EATCS 33, 71-82 (1987). Reviewer: W.Kwasowiec MSC: 68Q99 68Q55 PDF BibTeX XML Cite \textit{J. J. Ch. Meyer}, Bull. EATCS 33, 71--82 (1987; Zbl 0661.68032)
Pawlak, Zdzisław Decision tables - a rough set approach. (English) Zbl 0659.68105 Bull. EATCS 33, 85-95 (1987). Reviewer: E.Kerre MSC: 68T05 90B50 PDF BibTeX XML Cite \textit{Z. Pawlak}, Bull. EATCS 33, 85--95 (1987; Zbl 0659.68105)