Louis Sekander Wensley Warren
Original record- Institution
- University of Canterbury
- Year
- 2019
- Country
- New Zealand
- MGP identifier
- 256603
Dissertation: Minimal logic and automated proof verification.
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Maarten Nicolaas McKubre-JordensMassey University · 2010
- Hannes DienerUniversity of Canterbury · 2008
Students 0
No students recorded in this snapshot.