Bulletin of the EATCS, Volume 48

Volume 48, October 1992

The Algebraic Specification Column

Joseph A. Goguen, Razvan Diaconescu: A short Oxford survey of order sorted algebra.. 121-133 BibTeX

The Logic in Computer Science Column

Kevin J. Compton, Howard Straubing: Characterizations of regular languages in low level complexity classes. 134-142 BibTeX

The Structural Complexity Column

Gheorghe Paun: VALENCES: Increasing the power of grammars, tranducers grammar systems. 143-156 BibTeX

Technical Contributions

Matthias Baaz, Richard Zach: Note on calculi for a three-valued logic for logic programming.. 157-164 BibTeX
Julien Cassaigne, Sylviane R. Schwer, Patrice Séébold: About Gauss codes. 165-171 BibTeX
Manfred Droste, R. M. Shortt: Bounded Petri nets of finite dimension have only finitely many reachable markings. 172-174 BibTeX
Leonid Libkin: An elementary proof that upper and lower powerdomain constructions commute. 175-177 BibTeX
Zdzislaw Pawlak: Concurrent versus sequential - the rough sets perspective. 178-190 BibTeX
Magnus Steinby: On generalizations of the Nerode and Myhill theorems. 191-196 BibTeX
Sándor Vágvölgyi, Rémi Gilleron: For a rewrite system it is decidable whether the set of irreducible, ground terms is regognizable. 197-209 BibTeX