Bulletin of the EATCS, Volume 58

Volume 58, February 1996

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

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

• Dexter Kozen: On Regularity-Preserving Functions. BibTeX

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

• Alexandru Mateescu, Arto Salomaa: Views on Linguistics. BibTeX

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