Logic and theory of algorithms : 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 : proceedings

• Main Authors: Conference on Computability in Europe (4th : 2008 : Athens, Greece), Beckmann, Arnold, Dimitracopoulos, Costas, Löwe, Benedikt
• Format: eBook Book
• Language: English
• Published: Berlin Springer 2008; Springer Berlin / Heidelberg
• Edition: 1
• Series: Lecture Notes in Computer Science
• Subjects: Algorithms > Congresses; Computable functions; Computable functions > Congresses; Computational intelligence > Congresses; Congresses; Logic, Symbolic and mathematical > Congresses

CiE 2008: Logic and Theory of Algorithms Athens, Greece, June 15-20, 2008 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...