Theoretical Computer Science and General Issues

Mathematical Theory and Computational Practice

5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings

Editors: Ambos-Spies, Klaus, Löwe, Benedikt, Merkle, Wolfgang (Eds.)

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-03073-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-642-03072-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009.

The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.

Table of contents (51 chapters)

  • First-Order Universality for Real Programs

    Anberrée, Thomas

    Pages 1-10

  • Skolem + Tetration Is Well-Ordered

    Barra, Mathias (et al.)

    Pages 11-20

  • Structures of Some Strong Reducibilities

    Bélanger, David R.

    Pages 21-30

  • Complexity of Existential Positive First-Order Logic

    Bodirsky, Manuel (et al.)

    Pages 31-36

  • Stochastic Programs and Hybrid Automata for (Biological) Modeling

    Bortolussi, Luca (et al.)

    Pages 37-48

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-03073-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $139.00
price for USA
  • ISBN 978-3-642-03072-7
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematical Theory and Computational Practice
Book Subtitle
5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Editors
  • Klaus Ambos-Spies
  • Benedikt Löwe
  • Wolfgang Merkle
Series Title
Theoretical Computer Science and General Issues
Series Volume
5635
Copyright
2009
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-03073-4
DOI
10.1007/978-3-642-03073-4
Softcover ISBN
978-3-642-03072-7
Edition Number
1
Number of Pages
XIV, 510
Topics