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.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
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
- algebras
- algorithms
- combinatorial optimization
- complexity
- computability
- computable model theory
- computational complexity
- computational modeling
- constraint satisfaction
- dynamical systems
- first-order logic
- heuristics
- logic
- modeling
- optimization
- algorithm analysis and problem complexity
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, Algorithms, Artificial Intelligence, Computational and Systems Biology