The Nature of Computation. Logic, Algorithms, Applications
Subtitle: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings
By: edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
Contributors: Brattka, Vasco; Löwe, Benedikt; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 7921
Publisher: Springer Berlin Heidelberg; Imprint: Springer
Published: 2013
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 446
ISBN-13: 9783642390531
Subjects: Logic design; Computational complexity; Symbolic and mathematical Logic; Discrete Mathematics in Computer Science; Algorithm Analysis and Problem Complexity; Math Applications in Computer Science; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Mathematical Logic and Foundations; Computer software
Description: 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%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.