Bulletin of the EATCS, Volume 32

Volume 32, June 1987

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

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

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

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