default search action
Bulletin of the EATCS, Volume 94
Volume 94, February 2008
- Nikolay K. Vereshchagin:
Kolmogorov Complexity and Games. Bull. EATCS 94: 43-75 (2008) - Luís Caires:
Dynamic Spatial Logics: A Tutorial Survey. Bull. EATCS 94: 77-112 (2008) - Luca Aceto, Jos C. M. Baeten, Wan J. Fokkink, Anna Ingólfsdóttir, Uwe Nestmann:
Applying Concurrency Research in Industry Report on a Strategic Workshop. Bull. EATCS 94: 113-129 (2008) - Olga Brukman, Shlomi Dolev, Yinnon A. Haviv, Limor Lahiani, Ronen I. Kat, Elad Michael Schiller, Nir Tzachar, Reuven Yagel:
Self-Stabilization from Theory to Practice. Bull. EATCS 94: 130-150 (2008) - Hartmut Ehrig, Ulrike Prange:
Flattening of Generalized Algebraic High-Level Nets. Bull. EATCS 94: 151-160 (2008) - Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari:
Style-Based Architectural Reconfigurations. Bull. EATCS 94: 161-180 (2008) - Bakhadyr Khoussainov, Anil Nerode:
Open Questions in the Theory of Automatic Structures. Bull. EATCS 94: 181-204 (2008)
- Gerhard J. Woeginger:
Four Non-Deterministic Programming Exercises. Bull. EATCS 94: 207-211 (2008) - Hunter Monroe:
Are There Natural Problems with Speedup? Bull. EATCS 94: 212-220 (2008)
- Arnold L. Rosenberg:
A "Big-Ideas" Computation Theory Course for the Undergraduate. Bull. EATCS 94: 222-232 (2008)
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-11-15 19:21 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: