Bulletin of the EATCS, Volume 32

Volume 32, June 1987

• Hartmut Ehrig: The Algebraic Specification Column. 70-72 BibTeX

• Juris Hartmanis: Structural Complexity Columns in Sparse complete sets for NP and the optimal collpase of the polynomial hierarchy. 73-81 BibTeX

• Arto Salomaa: Formal Language Theory Column - Two-way Thue. 82-87 BibTeX

• Isabelle Gnaedig: Knuth-Bendix procedure and non-deterministic behaviour - An example. 86-92 BibTeX
• Michael G. Martin: Detecting leftmost periodicities. 93-97 BibTeX
• John-Jules Ch. Meyer: Process modalities obtained as fixed points (Part one). 98-106 BibTeX
• Alexander Moshe Rabinovich: Pomset semantics is consistenct with data flow semantics. 107-117 BibTeX