The nature of computation : logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milano, Italy, July 1-5, 2013 : proceedings - Bonizzoni, Paola; Brattka, Vasco; Löwe, Benedikt (Lecture notes in computer science ;, 2013)