Manuel García Clavel
Ph.D. Universidad de Navarra 1998
Dissertation:
Reflection in general logics and in rewriting logic with applications to
the maude languaje
Advisor 1: José Meseguer
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 185827 for the advisor ID.