Stefan Feyock

MathSciNet


Ph.D. University of Wisconsin-Madison 1971 UnitedStates
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 listed in chronological order.

NameSchoolYearDescendants
Johnson, ClaytonCollege of William and Mary1996
Karamouzis, StamosCollege of William and Mary1993
Pohl, Hans-JoachimTechnische Universität Darmstadt1988

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.