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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Beckmann, Arnold (Επιμελητής έκδοσης), Bienvenu, Laurent (Επιμελητής έκδοσης), Jonoska, Nataša (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Lecture Notes in Computer Science, 9709
• Θέματα: 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...

Πίνακας περιεχομένων:

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