Unveiling Dynamics and Complexity
13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
This book constitutes the refereed proceedings of the 13th Conference on Computability in Europe, CiE 2017, held in Turku, Finland, in June 2017. The 24 revised full papers and 12 invited papers were carefully reviewed and selected from 69 submissions. The conference CiE 2016 has six special sessions, namly: algorithmics for biology; combinatorics and algorithmics on words; computability in analysis, algebra, and geometry; cryptography and information theory; formal languages and automata theory; and history and philosophy of computing.
Includes supplementary material: sn.pub/extras
Autor*in
Jarkko Kari
Themen in »Unveiling Dynamics and Complexity«
algorithmics computability formal languages and automata theory natural computing turing machine model automated theorem proving cellular automation classical computation cryptography and information theory geometric computation history and philosophy of computing logic mathematics of computing models of computation regular languages