Lawrence Joseph Henschen
Original record- Institution
- University of Illinois at Urbana-Champaign
- Year
- 1971
- Country
- United States
- MGP identifier
- 4258
Dissertation: A Resolution Style Proof Procedure for Higher-Order Logic
Advisor 1
- Donald Bruce GilliesPrinceton University · 1953
Students 6
| Name | Institution | Year | Students |
|---|---|---|---|
| Robert Arthur Alps | Northwestern University | 1979 | 0 |
| W. Michael (William) Evangelist | Northwestern University | 1978 | 0 |
| Mark John Franzen | Northwestern University | 1988 | 0 |
| Cyril S. Ku | Northwestern University | 1989 | 0 |
| Robert Charles Neveln | Northwestern University | 1975 | 0 |
| Adnan Hussein Yahya | Northwestern University | 1984 | 0 |