Advertisement

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
  18. José Félix Costa, Bruno Loff, Jerzy Mycka
    Pages 189-195
  19. Barbara F. Csima
    Pages 196-204
  20. Norman Danner, James S. Royer
    Pages 205-217
  21. Gregorio de Miguel Casado, Juan Manuel García Chamizo, María Teresa Signes Pont
    Pages 218-227
  22. David Doty, Philippe Moser
    Pages 228-237
  23. José Espírito Santo
    Pages 258-267
  24. Jörg Flum
    Pages 278-289
  25. Josep Freixas, Xavier Molinero, Salvador Roura
    Pages 297-306
  26. Giangiacomo Gerla
    Pages 336-347
  27. Guido Gherardi
    Pages 348-357
  28. Joel D. Hamkins, Russell G. Miller
    Pages 358-367
  29. Sanjay Jain, Eric Martin, Frank Stephan
    Pages 378-388
  30. Iskander Kalimullin
    Pages 389-397
  31. Leszek Aleksander Kołodziejczyk, Neil Thapen
    Pages 408-415
  32. Michal Koucký
    Pages 426-435
  33. Oleg V. Kudinov, Victor L. Selivanov
    Pages 436-445
  34. James I. Lathrop, Jack H. Lutz, Scott M. Summers
    Pages 455-464
  35. Gyesik Lee
    Pages 465-473
  36. Andrew Lewis, Antonio Montalbán, André Nies
    Pages 474-477

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
  • Buy this book on publisher's site