James L. Caldwell, II
Original record- Institution
- Cornell University
- Year
- 1998
- Country
- United States
- MGP identifier
- 73591
Dissertation: Decidability Extracted: Synthesizing "Correct-by-Construction" Decision Procedures from Constructive Proofs
Advisor 1
- Robert Lee ConstableUniversity of Wisconsin-Madison · 1968
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Sunil Kothari | University of Wyoming | 2010 | 0 |
| Josef Maxim Pohl | University of Wyoming | 2010 | 0 |