Bulletin of the EATCS, Volume 55

Volume 55, February 1995

• Martin Große-Rhode: Transition Specifications for Dynamic Abstract Data Type. BibTeX

• Yuri Gurevich: The Value, if any, of Decidability. BibTeX

• Juris Hartmanis: On the Weight of Computations. BibTeX

• Joachim Parrow: Concurrency without Homotopy. BibTeX

• Arto Salomaa: Return to Patterns. BibTeX

• F. Buffoli, G. Degli Antoni, A. Marchese: OR-Parallellism in Theorem Proving: Speedups versus Timeout. BibTeX
• Juha Lehikoinen, Erkki Mäkinen: A New Distance-based Coding Method For Binary Trees. BibTeX