eBook, PDF

Logical Approaches to Computational Barriers (eBook, PDF)

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

Redaktion: Beckmann, Arnold; Tucker, John V.; Löwe, Benedikt; Berger, Ulrich

Beschreibung

This book constitutes the refereed proceedings of the Second International Conference on Computability in Europe, CiE 2006, held in Swansea, UK, June/July 2006. The book presents 31 revised full papers together with 30 invited papers, including papers corresponding to 8 plenary talks and 6 special sessions on 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.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 6.96MB

Autor

Arnold Beckmann, University of Wales, Swansea, UK / Ulrich Berger, University of Wales, Swansea, UK / Benedikt Löwe, Universiteit van Amsterdam, The Netherlands / John V. Tucker, University of Wales, Swansea, UK

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 608
• Erscheinungstermin: 29. Juni 2006
• Englisch
• ISBN-13: 9783540354680
• Artikelnr.: 44121207