[Back]


Doctor's Theses (authored and supervised):
X. Urbain:
"Approche Incrémentale des Preuves Automatiques de Terminaison";
Supervisor, Reviewer: B. Gramlich, M Rusinowitch; LRI, Orsay, France, 2001; oral examination: 2001-10-01.

Keywords:
Incremental termination proofs, rewrite systems, modular termination.

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