default search action
Bulletin of the EATCS, Volume 110
Volume 110, June 2013
- Luca Aceto:
Letter from the President. 3-6 - Maria J. Serna:
Letter from the Bulletin Editor. 7 - The EATCS Award 2013. 8-10
- Ryuhei Uehara:
The Japanese Chapter. 21-24 - Cristian S. Calude:
News from New Zealand. 25-32
- Stefan Dobrev, Rastislav Královic, Richard Královic:
Computing with Advice: when Knowledge Helps. 35-51 - Alex Bocharov, Krysta M. Svore:
From Reversible Logic Gates to Universal Quantum Bases. 79-85
- Bart de Keijzer, Krzysztof R. Apt:
The H-index can be Easily Manipulated. 79-85
- Zsuzsanna Lipták:
Report on StringMasters 2013. 89-91
- Jose Gaintzarain:
Invariant-Free Deduction Systems for Temporal Logic. 95-97 - Sergi Oliva:
On the Complexity of Resolution-based Proof Systems. 98-100
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.