M.L. Fernandez Venero:
"Termination of Rewriting with Non-Monotonic Orderings";
Supervisor, Reviewer: A. Rubio, G. Godoy, B. Gramlich, J.-P. Jouannaud, S. Lucas et al.; LSI, Universitat Politècnica de Catalunya, Barcelona, 2007; oral examination: 2007-05-23.
Term rewriting, termination, non-monotonic orderings.