The Nature of Computation: Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings / [electronic resource] : edited by Paola Bonizzoni, Vasco Brattka, Benedikt Löwe. - 1st ed. 2013. - XVIII, 446 p. 42 illus. online resource. - Theoretical Computer Science and General Issues, 7921 2512-2029 ; . - Theoretical Computer Science and General Issues, 7921 .

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.

9783642390531

10.1007/978-3-642-39053-1 doi


Computer science.
Algorithms.
Computer science--Mathematics.
Discrete mathematics.
Mathematical logic.
Theory of Computation.
Algorithms.
Discrete Mathematics in Computer Science.
Mathematical Applications in Computer Science.
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.

QA75.5-76.95

004.0151