Dan McGinn, Ph.D.
Affiliations: | 2009 | University of Wisconsin, Madison, Madison, WI |
Area:
MathematicsGoogle:
"Dan McGinn"Parents
Sign in to add mentor| Steffen Lempp | grad student | 2009 | UW Madison | |
| (Quantifier elimination for a class of intuitionistic theories.) | ||||