The Nature of Computation. Logic, Algorithms, Applications

9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings

  • Paola Bonizzoni
  • Vasco Brattka
  • Benedikt Löwe
Conference proceedings CiE 2013

Part of the Lecture Notes in Computer Science book series (LNCS, volume 7921)

Table of contents

  1. Front Matter
  2. Klaus Ambos-Spies, Ulrike Brandt, Martin Ziegler
    Pages 1-11
  3. Olivier Bournez, Daniel S. Graça, Amaury Pouly, Ning Zhong
    Pages 12-21
  4. Marília D. V. Braga
    Pages 22-31
  5. Sebastian Böcker, Jan Baumbach
    Pages 33-44
  6. John Case, Michael Ralston
    Pages 45-54
  7. Ferdinando Cicalese, Gennaro Cordasco, Luisa Gargano, Martin Milanič, Ugo Vaccaro
    Pages 65-77
  8. Graham Cormode
    Pages 78-86
  9. Riccardo Dondi, Nadia El-Mabrouk
    Pages 97-107
  10. Andrzej Ehrenfeucht, Grzegorz Rozenberg
    Pages 120-122
  11. Tim Fischbach, Benjamin Seyfferth
    Pages 135-146
  12. Lance Fortnow
    Pages 147-148
  13. Giuditta Franco, Alessio Milanese
    Pages 149-160
  14. Johanna N. Y. Franklin, Asher M. Kach, Russell Miller, Reed Solomon
    Pages 161-170
  15. Makoto Fujiwara, Keita Yokoyama
    Pages 171-180
  16. Ziyuan Gao, Sanjay Jain, Frank Stephan
    Pages 181-190
  17. Alexander Gavruskin, Bakhadyr Khoussainov
    Pages 200-209
  18. Paweł Gawrychowski, Florin Manea, Dirk Nowotka
    Pages 210-219
  19. Alexander Kartzow, Philipp Schlicht
    Pages 273-283
  20. Shankara Narayanan Krishna, Marian Gheorghe, Ciprian Dragomir
    Pages 284-293
  21. Stéphane Le Roux, Arno Pauly
    Pages 294-305
  22. Robert S. Lubarsky, Michael Rathjen
    Pages 306-315
  23. Andrew McGregor
    Pages 316-319
  24. Alexander G. Melnikov, André Nies
    Pages 320-328
  25. Giovanni Pardini, Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
    Pages 330-339
  26. Laxmi Parida
    Pages 340-341
  27. Darko Stefanovic, Milan N. Stojanovic
    Pages 383-392
  28. Alexey Stukachev
    Pages 393-402
  29. Matti Tedre
    Pages 404-413

About these proceedings


This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013.
The 48 revised papers presented together with 1 invited lecture and 2
tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.


boolean algebra finitely axiomatizable theory root clustering theory of real computation turing computability

Editors and affiliations

  • Paola Bonizzoni
    • 1
  • Vasco Brattka
    • 2
  • Benedikt Löwe
    • 3
  1. 1.Dipartimento die Informatica, Sistemistica e ComunicazioneUniversità degli Studi di Milano-BicoccaMilanItaly
  2. 2.Institute for Theoretical Computer Science, Mathematics and Operations Research, Faculty of Computer ScienceUniversität der Bundeswehr MünchenNeubibergGermany
  3. 3.Institute for Logic, Language and ComputationUniversity of AmsterdamAmsterdamThe Netherlands

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-642-39052-4
  • Online ISBN 978-3-642-39053-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment