Jia-Huai You
Original record- Institution
- University of Utah
- Year
- 1985
- Country
- United States
- MGP identifier
- 72391
Dissertation: First-Order Unification in Equational Theories and Its Application to Logic Programming
Advisors 0
No advisor recorded in this snapshot.
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Vladimir Alexiev | University of Alberta | 1999 | 0 |
| Suryanil Ghosh | University of Alberta | 1995 | 0 |
| Srinivas Padmanabhuni | University of Alberta | 2000 | 0 |
| Gang Wu | University of Alberta | 2008 | 0 |