Mathematical theory and computational practice 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings - Merkle, Wolfgang; L©œwe, Benedikt; Ambos-Spies, Klaus (Lecture Notes in Computer Science, 2009)