default search action
Bulletin of the EATCS, Volume 97
Volume 97, February 2009
- George Christodoulou, Elias Koutsoupias:
Mechanism Design for Scheduling. Bull. EATCS 97: 40-59 (2009) - Jacobo Torán, Fabian Wagner:
The Complexity of Planar Graph Isomorphism. Bull. EATCS 97: 60-82 (2009) - Rachid Guerraoui, Michal Kapalka:
The Theory of Transactional Memory. Bull. EATCS 97: 84-105 (2009) - Iovka Boneva, Jörg Kreiker, Marcos E. Kurbán, Arend Rensink:
Graph Abstraction for a Modal Logic. Bull. EATCS 97: 106-116 (2009) - Hartmut Ehrig, Claudia Ermel, Frank Hermann, Barbara König:
Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation. Bull. EATCS 97: 117-125 (2009) - Bruno Durand, Andrei E. Romashchenko, Alexander Shen:
Fixed Point Theorem and Aperiodic Tilings. Bull. EATCS 97: 126-136 (2009) - Edwin J. Beggs, José Félix Costa, John V. Tucker:
Physical Experiments as Oracles. Bull. EATCS 97: 137-151 (2009)
- Gregory J. Chaitin:
Evolution of Mutating Software. Bull. EATCS 97: 157-164 (2009)
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.