Hicham Bensaid
Ph.D. Université de Grenoble 2011
Dissertation:
Utilisation des schématisations de termes en déduction automatique
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1: Ricardo Caferra
Advisor 2: Nicolas Peltier
No students known.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 159081 for the advisor ID.