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
Conference proceedings CiE 2007

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 Computer Science (R0)
  • 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
Industry Sectors
Automotive
Biotechnology
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Consumer Packaged Goods
Aerospace
Engineering