Benedikt L We

Models of Computation in Context - Lecture Notes in Computer Science / Theoretical Computer Science and General Issues Benedikt L We

Publisher Marketing: 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 per cent. 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.

Contributor Bio:  L We, Benedikt Benedikt L we is Universitair Docent in Logic in the Institute for Logic, Language and Computation at the Universiteit van Amsterdam and Professor of Mathematics at the Universit t Hamburg. He is the vice-president of the Deutsche Vereinigung f r Mathematische Logik und f r Grundlagenforschung der Exakten Wissenschaften (DVMLG) and a Managing Editor of the journal Mathematical Logic Quarterly. Contributor Bio:  Lowe, Benedikt Benedikt Lowe is Universitair Docent in Logic in the Institute for Logic, Language and Computation at the Universiteit van Amsterdam and Professor of Mathematics at the Universitat Hamburg. He is the vice-president of the Deutsche Vereinigung fur Mathematische Logik und fur Grundlagenforschung der Exakten Wissenschaften (DVMLG) and a Managing Editor of the journal Mathematical Logic Quarterly.