[Back]


Doctor's Theses (authored and supervised):

A. Kersani:
"Preuves par induction dans le calcul de superposition";
Supervisor, Reviewer: A. Leitsch, N. Peltier; Universite de Grenoble, France, 2014; oral examination: 2014-10-30.


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