Galen B. Huntington
Original record- Institution
- University of California, Berkeley
- Year
- 2008
- Country
- United States
- MGP identifier
- 285018
Dissertation: Towards an efficient decision procedure for the existential theory of the reals
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Branden FitelsonUniversity of Wisconsin-Madison · 2001
Students 0
No students recorded in this snapshot.