Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Beckmann, Arnold (Editor), Bienvenu, Laurent (Editor), Jonoska, Nataša (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Lecture Notes in Computer Science, 9709
• Subjects: Computer science.; Computers.; Algorithms.; Mathematical logic.; Computer science > Mathematics.; Bioinformatics.; Computer Science.; Computation by Abstract Devices.; Algorithm Analysis and Problem Complexity.; Mathematics of Computing.; Mathematical Logic and Formal Languages.; Computational Biology/Bioinformatics.

This book constitutes the refereed proceedings of the 12th Conference on Computability in Europe, CiE 2016, held in Paris, France, in June/July 2016. The 18 revised full papers and 19 invited papers and invited extended abstracts were carefully reviewed and selected from 40 submissions. The conferen...

Table of Contents:

• Computable and constructive analysis
• Computation in biological systems
• Cryptography and information theory
• History and philosophy of computing
• Symbolic dynamics
• Weak arithmetic.