[Back]


Doctor's Theses (authored and supervised):
O. Fissore:
"Terminaison de la réécriture sous stratégies";
Supervisor, Reviewer: B. Gramlich, J. Giesl; INRIA/LORIA, Nancy, France, 2003; oral examination: 2003-12-03.

Keywords:
Rewriting strategy, rule-based programming, termination.

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