© 2013

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


  • Fast track conference proceedings

  • Unique visibility

  • State of the art research

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

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

Industry Sectors
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment