Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5635)
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 2009.
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 proceedings of the 5th Conference on Computability in Europe, CiE 2009, held in Heidelberg, Germany, during July 19-24, 2009.
The 34 papers presented together with 17 invited lectures were carefully reviewed and selected from 100 submissions. The aims of the conference is to advance our theoretical understanding of what can and cannot be computed, by any means of computation. It is the largest international meeting focused on computability theoretic issues.
Keywords
Editors and Affiliations
-
University of Heidelberg, Heidelberg, Germany
Klaus Ambos-Spies
-
Universiteit van Amsterdam, Amsterdam, The Netherlands
Benedikt Löwe
-
Institut für Informatik, Ruprecht-Karls-Universität Heidelberg, Heidelberg, Germany
Wolfgang Merkle
Bibliographic Information
Book Title: Mathematical Theory and Computational Practice
Book Subtitle: 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009, Proceedings
Editors: Klaus Ambos-Spies, Benedikt Löwe, Wolfgang Merkle
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-03073-4
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-03072-7Published: 10 July 2009
eBook ISBN: 978-3-642-03073-4Published: 15 July 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIV, 510
Topics: Theory of Computation, Mathematics of Computing, Algorithm Analysis and Problem Complexity, Artificial Intelligence, Computational Biology/Bioinformatics, Algorithms