ENGLISH

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

By Costas Dimitracopoulos , Arnold Beckmann , Benedikt Löwe (eds.) , Daniel Andersson , Kristoffer Arnsfelt Hansen (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
2008
ISBN
978-3-540-69405-2, 978-3-540-69407-6
DOI
10.1007/978-3-540-69407-6
Language
english
Format
PDF
Filesize
11 MB (11898689 bytes)
Series
Lecture Notes in Computer Science 5028 Theoretical Computer Science and General Issues
Edition
1
Pages
596\613
Time added
2014-01-18 08:00:00
Theory of Computation; Algorithm Analysis and Prob

Description

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.

Similar books