TY - BOOK AU - Löwe,Benedikt AU - Normann,Dag AU - Soskov,Ivan AU - Soskova,Alexandra 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 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://148.231.10.114:2048/login?url=http://link.springer.com/book/10.1007/978-3-642-21875-0 ER -