Wolfgang Küchlin
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Switzerland
- MGP identifier
- 53721
Dissertation: Equational Completion by Proof Transformation
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Erwin EngelerETH Zürich · 1958
Students 2
| Name | Institution | Year | Students |
|---|---|---|---|
| Eray Gençay | Not recorded | — | 0 |
| Carsten M. Sinz | Eberhard-Karls-Universität Tübingen | 2003 | 0 |