Theoretical Computer Science and General Issues

Programs, Proofs, Processes

6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings

Editors: Ferreira, F., Löwe, B., Mayordomo, E., Gomes, L.M. (Eds.)

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-13962-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-642-13961-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.

Table of contents (48 chapters)

  • Avoiding Simplicity Is Complex

    Allender, Eric

    Pages 1-10

  • Higher-Order Containers

    Altenkirch, Thorsten (et al.)

    Pages 11-20

  • On the Completeness of Quantum Computation Models

    Arrighi, Pablo (et al.)

    Pages 21-30

  • The Ordinal of Skolem + Tetration Is τ 0

    Barra, Mathias (et al.)

    Pages 31-38

  • Proofs, Programs, Processes

    Berger, Ulrich (et al.)

    Pages 39-48

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-642-13962-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $129.00
price for USA in USD
  • ISBN 978-3-642-13961-1
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Programs, Proofs, Processes
Book Subtitle
6th Conference on Computability in Europe, CiE, 2010, Ponta Delgada, Azores, Portugal, June 30 - July 4, 2010, Proceedings
Editors
  • Fernando Ferreira
  • Benedikt Löwe
  • Elvira Mayordomo
  • Luís Mendes Gomes
Series Title
Theoretical Computer Science and General Issues
Series Volume
6158
Copyright
2010
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-13962-8
DOI
10.1007/978-3-642-13962-8
Softcover ISBN
978-3-642-13961-1
Edition Number
1
Number of Pages
XIV, 450
Number of Illustrations
37 b/w illustrations
Topics