Bulletin of the EATCS, Volume 47

Volume 47, June 1992

The Algebraic Specification Column

Hartmut Ehrig: Some important new facts supporting the development of algebraic specifications. 135-136 BibTeX
P. S. Subramanian: Towards an algebraic specification framework for the VLSI design process. 137-143 BibTeX

The Structural Complexity Column

Richard Chang, Suresh Chari, Desh Ranjan, Pankaj Rohatgi: Relativization: a revisionistic retrospective. 144-153 BibTeX

The Formal Language Theory Column

Arto Salomaa: What Emil said about the Post correspondance problem. 154-165 BibTeX

Technical Contributions

André Arnold, Anne Dicky, Maurice Nivat: A note about minimal non-deterministic automata. 166-169 BibTeX
Dexter Kozen: On the Myhill-Nerode theorem theorem for trees. 170-173 BibTeX
Victor Mitrana: Valence grammars on a free generated group. 174-179 BibTeX
Helmut Prodinger: Some analytic techniques for the investigation of the asymptotic behaviour of tree parameters. 180-199 BibTeX
Ari Renvall: ANDOS: A simple protocol for secret selling of secrets. 200-204 BibTeX
Friedrich J. Urbanek: A note on the language operator "red". 205-206 BibTeX
J. P. M. de Vreught: Maximal derivation lengths of acyclic CFGs. 206-233 BibTeX