Francisco Hernandez-Quiroz
Original record- Institution
- Imperial College London
- Year
- 1999
- Country
- United Kingdom
- MGP identifier
- 93952
Dissertation: A Semantics-Based Proof System for Gamma
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Christopher Leslie HankinUniversity of London · 1979
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Santiago Hernandez-Orozco | Universidad Nacional Autónoma de México (UNAM) | 2018 | 0 |