John G. Mersch

MathSciNet


Ph.D. Indiana University 2004 UnitedStates
Dissertation: Equational Logic of Recursive Program Schemes
Mathematics Subject Classification: 03—Mathematical logic and foundations

Advisor: Lawrence Stuart Moss

No students known.

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.