TY  - BOOK
AU  - 
AU  - 
AU  - 
AU  - 
ED  - SpringerLink (Online service)
TI  - Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783642218750
AV  - QA75.5-76.95 
U1  - 004.0151 23
PY  - 2011///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer software
KW  - Computational complexity
KW  - Algebra
KW  - Data processing
KW  - Logic, Symbolic and mathematical
KW  - Computer Science
KW  - Computation by Abstract Devices
KW  - Algorithm Analysis and Problem Complexity
KW  - Discrete Mathematics in Computer Science
KW  - Symbolic and Algebraic Manipulation
KW  - Mathematical Logic and Foundations
N1  - ZDB-2-SCS; ZDB-2-LNC
N2  - 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
UR  - http://dx.doi.org/10.1007/978-3-642-21875-0
ER  -