Towards a framework for proving termination of maude programs

Tesis doctoral de Beatriz Alarcón Jiménez Maude is a declarative programming language based on rewriting logic that incorporates many features […]

, , , , ,