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
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

Introduction

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.

Keywords

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 https://doi.org/10.1007/978-3-642-39053-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-39052-4
  • Online ISBN 978-3-642-39053-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349