Advertisement

Logic and Theory of Algorithms

4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings

  • Editors
  • Arnold Beckmann
  • Costas Dimitracopoulos
  • Benedikt Löwe
Conference proceedings CiE 2008

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

Table of contents

  1. Front Matter
  2. Daniel Andersson, Kristoffer Arnsfelt Hansen, Peter Bro Miltersen, Troels Bjerre Sørensen
    Pages 1-10
  3. Argimiro Arratia, Iain A. Stewart
    Pages 11-21
  4. Matthias Baaz, George Metcalfe
    Pages 22-31
  5. Mathias Barra
    Pages 42-51
  6. Amir M. Ben-Amram, Neil D. Jones, Lars Kristiansen
    Pages 67-76
  7. Michael Brough, Bakhadyr Khoussainov, Peter Nelson
    Pages 84-93
  8. Jérémie Cabessa, Jacques Duparc
    Pages 100-109
  9. Matteo Cavaliere
    Pages 110-119
  10. Charalampos Cornaros
    Pages 129-138
  11. Barbara F. Csima, Bakhadyr Khoussainov, Jiamou Liu
    Pages 139-148
  12. Erzsébet Csuhaj-Varjú
    Pages 149-151
  13. Mark Daley
    Pages 152-153
  14. Constantinos Daskalakis
    Pages 154-157
  15. Michiel De Smet, Andreas Weiermann
    Pages 168-174
  16. Giovanni Di Crescenzo, Helger Lipmaa
    Pages 175-185
  17. Hugo Gimbert, Florian Horn
    Pages 206-209
  18. Christian Glaßer, Christian Reitwießner, Victor Selivanov
    Pages 210-220
  19. Xiaoyang Gu, Jack H. Lutz
    Pages 231-240
  20. Emmanuel Hainry
    Pages 241-250
  21. Mircea-Dan Hernest, Paulo Oliva
    Pages 251-260
  22. Gabriel Istrate, Madhav V. Marathe, S. S. Ravi
    Pages 273-282
  23. Marcin Jurdziński, Rahul Savani
    Pages 283-293
  24. Temesghen Kahsai, Marino Miculan
    Pages 294-305
  25. Peter Koepke, Russell Miller
    Pages 306-315
  26. Antonina Kolokolova
    Pages 316-325
  27. Shankara Narayanan Krishna, Gabriel Ciobanu
    Pages 326-335
  28. James I. Lathrop, Jack H. Lutz, Matthew J. Patitz, Scott M. Summers
    Pages 349-358
  29. Pierre Letouzey
    Pages 359-369
  30. Jiang Liu, Guohua Wu
    Pages 370-378
  31. Lakshmi Manasa, Shankara Narayanan Krishna, Kumar Nagaraj
    Pages 407-416
  32. Keye Martin, Prakash Panangaden
    Pages 428-430
  33. Russell Miller, Dustin Mulcahey
    Pages 447-456

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008.

The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation.

Keywords

algorithm algorithmic game theory algorithms biology complexity computability game theory logic

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-69407-6
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-69405-2
  • Online ISBN 978-3-540-69407-6
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site