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.