The Nature of Computation: Logic, Algorithms, Applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, Proceedings - Paola Bonizzoni, Vasco Brattka, Benedikt Löwe ((Lecture Notes in Computer Science))