TY - BOOK ID - 5453805 TI - Logic and theory of algorithms : 4th conference on computability in Europe, CIE 2008, Athens, Greece, June 15-20, 2008 : proceedings AU - Beckmann, Arnold. AU - Dimitracopoulos, Costas. AU - Lowe, Benedikt. AU - Conference on Computability in Europe PY - 2008 SN - 9783540694052 3540694056 3540694072 PB - Berlin : Springer, DB - UniCat KW - Computable functions KW - Computational intelligence KW - Logic, Symbolic and mathematical KW - Algorithms KW - Fonctions calculables KW - Intelligence informatique KW - Logique symbolique et mathématique KW - Algorithmes KW - Congresses. KW - Congrès KW - Computer Science KW - Mathematical Theory KW - Mathematics KW - Engineering & Applied Sciences KW - Physical Sciences & Mathematics KW - Computability theory KW - Functions, Computable KW - Partial recursive functions KW - Recursive functions, Partial KW - Computer science. KW - Software engineering. KW - Computer programming. KW - Computers. KW - Algorithms. KW - Computer science KW - Life sciences. KW - Computer Science. KW - Software Engineering/Programming and Operating Systems. KW - Life Sciences, general. KW - Programming Techniques. KW - Theory of Computation. KW - Algorithm Analysis and Problem Complexity. KW - Mathematics of Computing. KW - Mathematics. KW - Biosciences KW - Sciences, Life KW - Science KW - Computer mathematics KW - Discrete mathematics KW - Electronic data processing KW - Algorism KW - Algebra KW - Arithmetic KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Computer systems KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Computers KW - Electronic computer programming KW - Electronic digital computers KW - Programming (Electronic computers) KW - Coding theory KW - Computer software engineering KW - Engineering KW - Informatics KW - Foundations KW - Programming KW - Constructive mathematics KW - Decidability (Mathematical logic) KW - Information theory. KW - Computer software. KW - Software, Computer KW - Communication theory KW - Communication KW - Computer science—Mathematics. KW - Software Engineering. KW - Life Sciences. UR - https://www.unicat.be/uniCat?func=search&query=sysid:5453805 AB - This book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation. ER -