Logic and Theory of Algorithms

Beckmann Arnold Dimitracopoulos Costas L?we Benedikt

ISBN 10: 3540694056 / ISBN 13: 9783540694052

Published by Springer, 2008

About this Item

pp. 624. Seller Inventory # 18318133

Bibliographic Details

Title: Logic and Theory of Algorithms

Publisher: Springer

Publication Date: 2008

Binding: Soft cover

Condition: New

About this title

Synopsis:

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.