Models of Computation in Context 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings /
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
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