Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings / [electronic resource] : edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova. - 1st ed. 2011. - XIII, 319 p. 27 illus., 11 illus. in color. online resource. - Theoretical Computer Science and General Issues, 6735 2512-2029 ; . - Theoretical Computer Science and General Issues, 6735 .

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.

9783642218750

10.1007/978-3-642-21875-0 doi


Computer science.
Algorithms.
Computer science--Mathematics.
Discrete mathematics.
Mathematical logic.
Theory of Computation.
Algorithms.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Foundations.

QA75.5-76.95

004.0151