Gopalan Nadathur
Original record- Institution
- University of Pennsylvania
- Year
- 1986
- Country
- United States
- MGP identifier
- 60892
Dissertation: A Higher-Order Logic as the Basis for Logic Programming
Advisor 1
- Dale Allen MillerCarnegie Mellon University · 1983
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Andrew Jude Gacek | University of Minnesota - Twin Cities | 2009 | 0 |
| Keehang Kwon | Duke University | 1994 | 0 |
| Xiaochu Qi | University of Minnesota - Twin Cities | 2009 | 0 |
| Yuting Wang | University of Minnesota - Twin Cities | 2016 | 0 |