Models of Computation in Context: 7th Conference on Computability in Europe, Cie 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings (Paperback) (ISBN-13: 9783642218743)

This book constitutes the refereed proceedings of the 7th Conference on Computability in Europe, CiE 2011, held in Sofia, Bulgaria, in June/July 2011. The 22 revised papers presented together with 11 invited lectures were carefully reviewed and selected with an acceptance rate of under 40%. The papers cover the topics computability in analysis, algebra, and geometry; classical computability theory; natural computing; relations between the physical world and formal models of computability; theory of transfinite computations; and computational linguistics.

Author: Benedikt Löwe
ISBN-10: 3642218741
ISBN-13: 9783642218743
Publisher: Springer
Language: English
Published: 06/22/2011
Pages: 319
Format: Paperback
Weight: 1.04lbs
Size: 9.21h x 6.14w x 0.70d