Computation and Logic in the Real World

Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

  • S. Barry Cooper
  • Benedikt Löwe
  • Andrea Sorbi
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4497)

Table of contents

  1. Front Matter
  2. Luigi Acerbi, Alberto Dennunzio, Enrico Formenti
    Pages 1-10
  3. Pieter Adriaans
    Pages 11-24
  4. Eric Allender
    Pages 25-27
  5. Francesco Bernardini, Marian Gheorghe, Maurice Margenstern, Sergey Verlan
    Pages 43-52
  6. Rongfang Bie, Guohua Wu
    Pages 53-62
  7. Laurent Bienvenu, David Doty, Frank Stephan
    Pages 63-72
  8. Guillaume Bonfante, Matthieu Kaczmarek, Jean-Yves Marion
    Pages 73-82
  9. Douglas S. Bridges
    Pages 98-104
  10. Nadia Busi, Claudio Zandron
    Pages 105-114
  11. John Case, Samuel E. MoeliusIII
    Pages 125-134
  12. George Barmpalias, Douglas Cenzer, Jeffrey B. Remmel, Rebecca Weber
    Pages 135-145
  13. Douglas Cenzer, Geoffrey LaForte, Guohua Wu
    Pages 146-151
  14. Julien Cervelle, Enrico Formenti, Pierre Guillon
    Pages 152-161
  15. Chi Tat Chong, Liang Yu
    Pages 162-168
  16. Pieter Collins
    Pages 169-178
  17. Andres Cordòn-Franco, Alejandro Fernández-Margarit, Francisco Felix Lara-Martín
    Pages 179-188

About these proceedings

Keywords

algorithms automata bioinformatics biology calculus cellular automata classical computability complexity theory computability computability theory computable analysis computational learning computational logic logic programming

Editors and affiliations

  • S. Barry Cooper
    • 1
  • Benedikt Löwe
    • 2
  • Andrea Sorbi
    • 3
  1. 1.Dept. of Pure MathematicsUniversity of LeedsLeedsUK
  2. 2.Institue for Logic, Language and Computation (ILLC)Universiteit van AmsterdamTV AmsterdamThe Netherlands
  3. 3.Dipartimento di Scienze Matematiche ed Informatiche “R. Magari”University of SienaSienaItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73001-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73000-2
  • Online ISBN 978-3-540-73001-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book