Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings

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.

Summary

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.

Product details

• Assisted by: Benedikt Löwe (Editor), Da Normann (Editor), Dag Normann (Editor), Ivan Soskov (Editor), Ivan Soskov et al (Editor), Alexandra Soskova (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 31.07.2011
• EAN: 9783642218743
• ISBN: 978-3-642-21874-3
• No. of pages: 319
• Illustrations: XIII, 319 p. 27 illus., 11 illus. in color.
• Series: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Lecture Notes in Computer Science / Theoretical Computer Science and General Issues; Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithms, mathematische Grundlagen, Mathematik: Logik, Diskrete Mathematik, computer science, Theory of Computation, Discrete Mathematics in Computer Science, Discrete Mathematics, Computers, Algorithms & data structures, Computer science—Mathematics, Maths for computer scientists, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Foundations, Mathematical foundations, Symbolic and Algebraic Manipulation, Computation by Abstract Devices