Documents Savoirs Recursion and subrecursion over finite and infinite words with applications to computable real valued functions [Elektronische Ressource] / von Holger Schulz Holger Schulz