Termination of rewriting with mon-monotonic ordering

Tesis doctoral de Mirtha Lina Fernandez Venero This thesis is intended to provide a first step on the study of […]

, , , , ,