Logic and theory of algorithms: 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008: Proceedings

Authors
  • A. Beckman
  • C. Dimitracopoulos
  • B. Löwe
Publication date 2008
ISBN
  • 9783540694052
Series Lecture notes in computer science, 5028
Number of pages 596
Publisher Berlin: Springer
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract 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.
Document type Book (Editorship)
Note Gebeurtenis: 4th Conference on Computability in Europe (CiE 2008), Athens, Greece, June 15-20, 2008
Published at https://doi.org/10.1007/978-3-540-69407-6
Permalink to this page
Back