Doctor's Theses (authored and supervised):

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.

Created from the Publication Database of the Vienna University of Technology.