Theoretical Computer Science and General Issues

Logical Approaches to Computational Barriers

Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings

Editors: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (Eds.)

Buy this book

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

CiE 2006: Logical Approaches to Computational Barriers Swansea, Wales, June 30 - July 5, 2006 Computability in Europe (CiE) is an informal network of European scientists working on computability theory, including its foundations, technical devel- ment, and applications. Among the aims of the network is to advance our t- oretical understanding of what can and cannot be computed, by any means of computation. Its scienti?c vision is broad: computations may be performed with discrete or continuous data by all kinds of algorithms, programs, and - chines. Computations may be made by experimenting with any sort of physical system obeying the laws of a physical theory such as Newtonian mechanics, quantum theory or relativity. Computations may be very general, depending upon the foundations of set theory; or very speci?c, using the combinatorics of ?nite structures. CiE also works on subjects intimately related to computation, especially theories of data and information, and methods for formal reasoning about computations. The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, natural computation, molecular computation, and computational learning. Applications are everywhere, especially, in algebra, analysis and geometry, or data types and programming. This volume, Logical Approaches to Computational Barriers, is the proce- ings of the second in a series of conferences of CiE that was held at the Depa- ment of Computer Science, Swansea University, 30 June - 5 July, 2006.

Table of contents (61 chapters)

  • Heap-Abstraction for an Object-Oriented Calculus with Thread Classes

    Ábrahám, Erika (et al.)

    Pages 1-10

  • From Constructibility and Absoluteness to Computability and Domain Independence

    Avron, Arnon

    Pages 11-20

  • Datatype-Generic Reasoning

    Backhouse, Roland

    Pages 21-34

  • The Logical Strength of the Uniform Continuity Theorem

    Berger, Josef

    Pages 35-39

  • Elementary Algebraic Specifications of the Rational Function Field

    Bergstra, J. A.

    Pages 40-54

Buy this book

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

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Logical Approaches to Computational Barriers
Book Subtitle
Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
Editors
  • Arnold Beckmann
  • Ulrich Berger
  • Benedikt Löwe
  • John V. Tucker
Series Title
Theoretical Computer Science and General Issues
Series Volume
3988
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-35468-0
DOI
10.1007/11780342
Softcover ISBN
978-3-540-35466-6
Edition Number
1
Number of Pages
XV, 608
Topics