J. Strother Moore
Original record- Institution
- The University of Edinburgh
- Year
- 1973
- Country
- United Kingdom
- MGP identifier
- 102545
Dissertation: Computational Logic: Structure Sharing and Proof of Program Properties
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Rodney Martineau BurstallUniversity of Birmingham · 1966
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Panagiotis Pete Manolios | University of Texas at Austin | 2001 | 2 |
| Sandip Ray | University of Texas at Austin | 2005 | 0 |