default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 59
Volume 59, June 1996
- Horst Reichel:
Unifying ADT - and Evolving Algebra Specifications. Bull. EATCS 59 (1996) - Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification. Bull. EATCS 59 (1996)
- D. Benson:
Courses on Concurrency. Bull. EATCS 59 (1996)
- Arto Salomaa:
Conjugate Words, Cuts of the Deck and Cryptographic Protocol. Bull. EATCS 59 (1996)
- Stephen L. Bloom, Zoltán Ésik:
Two Axiomatizations of a Star Semiring Quasi-Variety. Bull. EATCS 59 (1996) - Colm Ó'Dúnlaing:
Resolution Proofs viewed as Automata. Bull. EATCS 59 (1996) - Juha Honkala:
On the Equivalence Problem of Algebraic Series with Commuting Variables. Bull. EATCS 59 (1996) - Luc Longpré, Vladik Kreinovich:
Zeros of Riemann's Zeta Function are Uniformly Distributed, but not Random: An Answer to Calude's Open Problem. Bull. EATCS 59 (1996) - Mila E. Majster-Cederbaum, Markus Roggenbach:
On two different Characterizations of Bisimulation. Bull. EATCS 59 (1996) - R. Steacy:
Structure in the Kolakoski Sequence. Bull. EATCS 59 (1996)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 01:29 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
