Documents Savoirs Reachability over word rewriting systems [Elektronische Ressource] / vorgelegt von Jan-Henrik Altenbernd Jan-Henrik Altenbernd