Logic and Theory of Algorithms 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008 Proceedings - Beckmann, Arnold; Dimitracopoulos, Costas; Löwe, Benedikt (Springer Berlin Heidelberg, 2008)