Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 9th Conference on Computability in Europe, CiE 2013, held in Milan, Italy, in July 2013. The 48 revised papers presented together with 1 invited lecture and 2 tutorials were carefully reviewed and selected with an acceptance rate of under 31,7%. Both the conference series and the association promote the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences such as physics and biology, and also including the promotion of related non-scientific fields such as philosophy and history of computing.

Computer science. --- Computer software. --- Logic design. --- Computational complexity. --- Logic, Symbolic and mathematical. --- Computation by Abstract Devices. --- Algorithm Analysis and Problem Complexity. --- Discrete Mathematics in Computer Science. --- Math Applications in Computer Science. --- Logics and Meanings of Programs. --- Mathematical Logic and Foundations. --- Computable functions --- Computer science --- Mathematics --- Physical Sciences & Mathematics --- Mathematical Theory --- Engineering & Applied Sciences --- Computer Science --- Computability theory --- Functions, Computable --- Partial recursive functions --- Recursive functions, Partial --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Complexity, Computational --- Software, Computer --- Informatics --- Design, Logic --- Design of logic systems --- Computers. --- Algorithms. --- Computer logic. --- Mathematical logic. --- Computer Science. --- Mathematics. --- Constructive mathematics --- Decidability (Mathematical logic) --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Electronic data processing --- Computer systems --- Science --- Computer science—Mathematics. --- Computer science logic --- Logic, Symbolic and mathematical --- Algorism --- Algebra --- Arithmetic --- Automatic computers --- Automatic data processors --- Computer hardware --- Computing machines (Computers) --- Electronic brains --- Electronic calculating-machines --- Electronic computers --- Hardware, Computer --- Cybernetics --- Calculators --- Cyberspace --- Foundations --- Computer mathematics --- Discrete mathematics. --- Theory of Computation. --- Mathematical Applications in Computer Science. --- Computer Science Logic and Foundations of Programming. --- Discrete mathematical structures --- Mathematical structures, Discrete --- Structures, Discrete mathematical --- Numerical analysis