Christoph E. Benzmüller
Original record- Institution
- Universität des Saarlandes
- Year
- 1999
- Country
- Germany
- MGP identifier
- 173483
Dissertation: Equality and Extensionality in Higher-Order Theorem Proving
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 3
- Jörg H. SiekmannUniversity of Essex · 1976
- Frank PfenningCarnegie Mellon University · 1987
- Michael KohlhaseInstitution not recorded
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Sebastian Böhne | Not recorded | — | 0 |
| Ali Farjami | Université du Luxembourg | 2020 | 0 |
| Daniel Kirchner | Not recorded | — | 0 |
| Karsten Konrad | Not recorded | — | 0 |
| Rosae Esther Martín Peña | Not recorded | — | 0 |
| Marvin R. G. Schiller | Not recorded | — | 0 |
| Veronika Solopova | Not recorded | — | 0 |
| Alexander Steen | Not recorded | — | 0 |
| Jürgen Zimmer | Not recorded | — | 0 |