Christoph Weidenbach
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Germany
- MGP identifier
- 203601
Dissertation: Computational aspects of a first-order logic with sorts
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Harald GanzingerInstitution not recorded
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Martin Bromberger | Not recorded | — | 0 |
| Arnaud Fietzke | Not recorded | — | 0 |
| Mathias Fleury | Universität des Saarlandes | 2020 | 0 |
| Matthias Horbach | Not recorded | — | 0 |
| Daniel Wand | Universität des Saarlandes | 2017 | 0 |