default search action
Bulletin of the EATCS, Volume 107
Volume 107, June 2012
- Burkhard Monien:
Letter from the President. 3-7 - Maria J. Serna:
Letter from the Bulletin Editor. 8 - The EATCS Award 2012. 9-12
- The Gödel Prize 2012. 13-14
- The Presburguer Award 2012. 15-16
- Ryuhei Uehara:
Report from the Japanese Chapter. 23-26 - Alfredo Viola:
News from Latin America. 27-28 - Cristian Calude:
News from New Zealand. 29-40
- Johannes Köbler, Sebastian Kuhnert, Oleg Verbitsky:
Around and Beyond the Isomorphism Problem for Interval Graphs. 43-71 - Tim Harris, Aleksandar Dragojevic:
Programming with SpecTM. 72-94 - Serge Grigorieff, Pierre Valarcher:
Classes of Algorithms: Formalization and Comparison. 95-127
- Dane Henshall, Narad Rampersad, Jeffrey O. Shallit:
Shuffling and Unshuffling. 131-142
- Ian Pratt-Hartmann:
Report on BCTCS 2012. 146-165
- Alina García-Chacón:
The Complexity of Angel-Daemons and Game Isomorphism. 177-180
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.