Logical Approaches to Computational Barriers: Second Conference on Computability in Europe, Cie 2006, Swansea, Uk, June 30-July 5, 2006, Proceedings (Second Conference on Computability in Europe, Cie 2006, Swansea, Uk, June 30-july 5, 2006, Proceedings)
Arnold Beckmann, Ulrich Berger, Benedikt Loewe, John V. Tucker | Springer
204,850원 | 20060715 | 9783540354666
This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, in June/July 2006. The 31 revised full papers presented together with 30 invited papers were carefully reviewed and selected from about 80 submissions. Among them are papers corresponding to 8 plenary talks and papers of 6 special sessions entitled proofs and computation, computable analysis, challenges in complexity, foundations of programming, mathematical models of computers and hypercomputers, and G??del centenary: G??del's legacy for computability.