Francisco Hernandez-Quiroz


Ph.D. Imperial College London 1999 UnitedKingdom
Dissertation: A Semantics-Based Proof System for Gamma
Mathematics Subject Classification: 68—Computer science

Advisor: Christopher Leslie Hankin


Hernandez-Orozco, SantiagoUniversidad Nacional Autónoma de México (UNAM)2018

According to our current on-line database, Francisco Hernandez-Quiroz has 1 student and 1 descendant.
We welcome any additional information.

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 93952 for the advisor ID.