The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bonizzoni, Paola (Editor), Brattka, Vasco (Editor), Löwe, Benedikt (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
• Series: Lecture Notes in Computer Science, 7921
• Subjects: Computer science.; Computers.; Algorithms.; Computer logic.; Computer science > Mathematics.; Mathematical logic.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Discrete Mathematics in Computer Science.; Math Applications in Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Foundations.

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%....