Editors:
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7921)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Conference series link(s): CiE: Conference on Computability in Europe
Conference proceedings info: CiE 2013.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (51 papers)
-
Front Matter
About this book
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.
Editors and Affiliations
-
Dipartimento die Informatica, Sistemistica e Comunicazione, Università degli Studi di Milano-Bicocca, Milan, Italy
Paola Bonizzoni
-
Institute for Theoretical Computer Science, Mathematics and Operations Research, Faculty of Computer Science, Universität der Bundeswehr München, Neubiberg, Germany
Vasco Brattka
-
Institute for Logic, Language and Computation, University of Amsterdam, Amsterdam, The Netherlands
Benedikt Löwe
Bibliographic Information
Book Title: The Nature of Computation: Logic, Algorithms, Applications
Book Subtitle: 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings
Editors: Paola Bonizzoni, Vasco Brattka, Benedikt Löwe
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-39053-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2013
Softcover ISBN: 978-3-642-39052-4Published: 19 July 2013
eBook ISBN: 978-3-642-39053-1Published: 03 June 2013
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 446
Number of Illustrations: 42 b/w illustrations
Topics: 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