Advertisement

Mathematical Theory and Computational Practice

5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings

  • Klaus Ambos-Spies
  • Benedikt Löwe
  • Wolfgang Merkle

Part of the Lecture Notes in Computer Science book series (LNCS, volume 5635)

Table of contents

  1. Front Matter
  2. Thomas Anberrée
    Pages 1-10
  3. Mathias Barra, Philipp Gerhardy
    Pages 11-20
  4. David R. Bélanger
    Pages 21-30
  5. Manuel Bodirsky, Miki Hermann, Florian Richoux
    Pages 31-36
  6. Luca Bortolussi, Alberto Policriti
    Pages 37-48
  7. Paul Brodhead, Bjørn Kjos-Hanssen
    Pages 49-58
  8. Paul Brodhead, Bjørn Kjos-Hanssen
    Pages 59-67
  9. Jean Cardinal, Samuel Fiorini, Gwenaël Joret
    Pages 79-88
  10. John Case, Samuel E. Moelius III
    Pages 89-98
  11. Douglas Cenzer, Valentina Harizanov, Jeffrey B. Remmel
    Pages 99-108
  12. Douglas Cenzer, Rebecca Weber, Guohua Wu
    Pages 109-117
  13. Yijia Chen, Jörg Flum, Moritz Müller
    Pages 118-128
  14. Stefan Dantchev, Barnaby Martin
    Pages 134-143
  15. David Diamondstone, Bjørn Kjos-Hanssen
    Pages 144-153
  16. Rod Downey, Keng Meng Ng
    Pages 154-166
  17. Ross Duncan, Simon Perdrix
    Pages 167-177
  18. Ömer Eğecioğlu, Oscar H. Ibarra
    Pages 178-187
  19. Ekaterina B. Fokina, Sy-David Friedman
    Pages 198-207
  20. Cameron E. Freer, Daniel M. Roy
    Pages 218-231
  21. Andrey Frolov, Iskander Kalimullin, Russell Miller
    Pages 232-241
  22. Tobias Gärtner, Günter Hotz
    Pages 250-259
  23. Mathieu Hoyrup, Cristóbal Rojas
    Pages 260-269
  24. Sanjay Jain, Frank Stephan, Jason Teutsch
    Pages 270-279
  25. Peter Koepke
    Pages 280-289
  26. Grégory Lafitte, Michael Weiss
    Pages 300-309
  27. Andrew Lewis, André Nies, Andrea Sorbi
    Pages 324-331
  28. Jiang Liu, Shengling Wang, Guohua Wu
    Pages 332-341
  29. Antonio Montalbán
    Pages 372-378
  30. Soumya Paul, R. Ramanujam, Sunil Simon
    Pages 389-398
  31. Ion Petre, Andrzej Mizera, Ralph-Johan Back
    Pages 399-408
  32. Ian Pratt-Hartmann, Ivo Düntsch
    Pages 409-418
  33. Harald Räcke
    Pages 419-429
  34. Francisco J. Romero-Campero, Natalio Krasnogor
    Pages 430-436
  35. Kohtaro Tadaki
    Pages 447-456
  36. Philip M. R. Tedder, James R. Bradford, Chris J. Needham, Glenn A. McConkey, Andrew J. Bulpitt, David R. Westhead
    Pages 457-466
  37. Nikolay Vereshchagin
    Pages 478-487

About these proceedings

Introduction

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

Editors and affiliations

  • Klaus Ambos-Spies
    • 1
  • Benedikt Löwe
    • 2
  • Wolfgang Merkle
    • 3
  1. 1.University of HeidelbergHeidelbergGermany
  2. 2.Universiteit van AmsterdamAmsterdamThe Netherlands
  3. 3.Institut für InformatikRuprecht-Karls-Universität HeidelbergHeidelbergGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-03073-4
  • Copyright Information Springer-Verlag Berlin Heidelberg 2009
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-03072-7
  • Online ISBN 978-3-642-03073-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site