Bulletin of the EATCS, Volume 59

Volume 59, June 1996

• Horst Reichel: Unifying ADT - and Evolving Algebra Specifications. BibTeX
• Peter D. Mosses: CoFI: The Common Framework Initiative for Algebraic Specification. BibTeX

• D. Benson: Courses on Concurrency. BibTeX

• Arto Salomaa: Conjugate Words, Cuts of the Deck and Cryptographic Protocol. BibTeX

• Stephen L. Bloom, Zoltán Ésik: Two Axiomatizations of a Star Semiring Quasi-Variety. BibTeX
• Colm Ó'Dúnlaing: Resolution Proofs viewed as Automata. BibTeX
• Juha Honkala: On the Equivalence Problem of Algebraic Series with Commuting Variables. BibTeX
• Luc Longpré, Vladik Kreinovich: Zeros of Riemann's Zeta Function are Uniformly Distributed, but not Random: An Answer to Calude's Open Problem. BibTeX
• Mila E. Majster-Cederbaum, Markus Roggenbach: On two different Characterizations of Bisimulation. BibTeX
• R. Steacy: Structure in the Kolakoski Sequence. BibTeX