Manuel García Clavel


Ph.D. Universidad de Navarra 1998 Spain
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.