default search action
Bulletin of the EATCS, Volume 81
Volume 81, October 2003
- Elias Koutsoupias:
Selfish Task Allocation. Bull. EATCS 81: 79-88 (2003) - Luca Aceto:
Some of My Favourite Results in Classic Process Algebra. Bull. EATCS 81: 90-108 (2003) - Scott Aaronson:
Is P Versus NP Formally Independent? Bull. EATCS 81: 109-136 (2003) - Rainer Feldmann, Martin Gairing, Thomas Lücking, Burkhard Monien, Manuel Rode:
Selfish Routing in Non-Cooperative Networks: A Survey. Bull. EATCS 81: 137-164 (2003) - Arto Salomaa:
Counting (scattered) Subwords. Bull. EATCS 81: 165-179 (2003) - Juan de Lara:
Meta-Modelling and Graph Transformation for the Simulation of Systems. Bull. EATCS 81: 180-194 (2003) - Andreas Blass, Yuri Gurevich:
Algorithms: A Quest for Absolute Definitions. Bull. EATCS 81: 195-225 (2003) - David Harel:
A Grand Challenge for Computing: Towards Full Reactive Modeling of A Multi-Cellular Animal. Bull. EATCS 81: 226-235 (2003) - Tero Harju, Ion Petre, Grzegorz Rozenberg:
Gene Assembly in Ciliates Part I. Molecular Operations. Bull. EATCS 81: 236-249 (2003)
- Samee Ullah Khan:
Plays, Values, Analysis and The Complexity of Chinese Chess. Bull. EATCS 81: 253-263 (2003) - Martin Böhme, Bodo Manthey:
The Computational Power of Compiling C++. Bull. EATCS 81: 264-270 (2003) - Rodrigo Readi Nasser:
A Note on First Order Unification. Bull. EATCS 81: 271-278 (2003) - Eugene Eberbach, Peter Wegner:
Beyond Turing Machines. Bull. EATCS 81: 279-304 (2003) - Elena Losseva:
Building Reliable Systems from Unreliable Components and the DNA Computing Paradigm. Bull. EATCS 81: 305-317 (2003)
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.