03409nam 22007455 450 99646592570331620230406062651.03-642-21875-X10.1007/978-3-642-21875-0(CKB)2550000000051032(SSID)ssj0000610302(PQKBManifestationID)11413533(PQKBTitleCode)TC0000610302(PQKBWorkID)10638984(PQKB)10153431(DE-He213)978-3-642-21875-0(MiAaPQ)EBC3067183(PPN)156316226(EXLCZ)99255000000005103220110909d2011 u| 0engurnn|008mamaatxtccrModels of Computation in Context[electronic resource] 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011, Proceedings /edited by Benedikt Löwe, Dag Normann, Ivan Soskov, Alexandra Soskova1st ed. 2011.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2011.1 online resource (XIII, 319 p. 27 illus., 11 illus. in color.) Theoretical Computer Science and General Issues,2512-2029 ;6735Bibliographic Level Mode of Issuance: Monograph3-642-21874-1 Includes bibliographical references and index.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.Theoretical Computer Science and General Issues,2512-2029 ;6735Computer scienceAlgorithmsComputer science—MathematicsDiscrete mathematicsMathematical logicTheory of ComputationAlgorithmsDiscrete Mathematics in Computer ScienceSymbolic and Algebraic ManipulationMathematical Logic and FoundationsComputer 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.511.3/52Löwe Benediktedthttp://id.loc.gov/vocabulary/relators/edtNormann Dagedthttp://id.loc.gov/vocabulary/relators/edtSoskov Ivanedthttp://id.loc.gov/vocabulary/relators/edtSoskova Alexandraedthttp://id.loc.gov/vocabulary/relators/edtConference on Computability in EuropeBOOK996465925703316Models of Computation in Context2831723UNISA