The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings - Bonizzoni, Paola; Brattka, Vasco; Löwe, Benedikt (Springer Berlin Heidelberg : Imprint: Springer, 2013)