Stefan Feyock
Ph.D. University of Wisconsin-Madison 1971
Dissertation:
Properties of Inference Rules and Automatic Formulation of New Rules in a Friedman-Type Theorem-Proving System
Advisor: Larry Travis
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Pohl, Hans-Joachim | Technische Universität Darmstadt | 1988 | |
| Karamouzis, Stamos | College of William and Mary | 1993 | |
| Johnson, Clayton | College of William and Mary | 1996 |
According to our current on-line database, Stefan Feyock has 3 students and 3 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 30522 for the advisor ID.