Logical Approaches to Computational Barriers Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beckmann, Arnold (Editor), Berger, Ulrich (Editor), Löwe, Benedikt (Editor), Tucker, John V. (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
• Series: Lecture Notes in Computer Science, 3988
• Subjects: Computer science.; Computers.; Algorithms.; Computer science > Mathematics.; Bioinformatics.; Computer Science.; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematics of Computing.; Computing Methodologies.

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...