Bulletin of the EATCS, Volume 58

Volume 58, February 1996

• Hartmut Ehrig, Bernd Mahr: Algebraic Techniques in Software Development.

• Melvin Fitting: A Program to Compute Gödel-Löb Fixpoints.

• Dexter Kozen: On Regularity-Preserving Functions.

• Prakash Panangaden: Does Concurrency Theory Have Anything To Say About Parallel Programming?

• Alexandru Mateescu, Arto Salomaa: Views on Linguistics.

• Cezar Câmpeanu: Random Numbers Are Borel Normal.
• Henning Fernau: Closure Properties of Ordered Languages.
• Victor Mitrana: Distributed Catenation Versus Shuffle.
• Anastasia Pagnoni: Detecting and Correcting Operation Errors of Distributed Systems.