default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBulletin of the EATCS, Volume 58
Volume 58, February 1996
- Hartmut Ehrig, Bernd Mahr:
Algebraic Techniques in Software Development. Bull. EATCS 58 (1996)
- Melvin Fitting:
A Program to Compute Gödel-Löb Fixpoints. Bull. EATCS 58 (1996)
- Dexter Kozen:
On Regularity-Preserving Functions. Bull. EATCS 58 (1996)
- Prakash Panangaden:
Does Concurrency Theory Have Anything To Say About Parallel Programming? Bull. EATCS 58 (1996)
- Alexandru Mateescu, Arto Salomaa:
Views on Linguistics. Bull. EATCS 58 (1996)
- Cezar Câmpeanu:
Random Numbers Are Borel Normal. Bull. EATCS 58 (1996) - Henning Fernau:
Closure Properties of Ordered Languages. Bull. EATCS 58 (1996) - Victor Mitrana:
Distributed Catenation Versus Shuffle. Bull. EATCS 58 (1996) - Anastasia Pagnoni:
Detecting and Correcting Operation Errors of Distributed Systems. Bull. EATCS 58 (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 2025-02-20 00:48 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:
