Edward Hermann Haeusler
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Brazil
- MGP identifier
- 134657
Dissertation: Automatic Theorem Proving: An Abstract Setting on Natural Deduction
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Tarcísio Haroldo Cavalcante PequenoPontifícia Universidade Católica do Rio de Janeiro · 1981
- Luiz Carlos Pinheiro Dias PereiraStockholm University · 1982
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Christiano Braga | Not recorded | — | 0 |
| Leonardo de Moura | Not recorded | — | 0 |
| Lucília Camarão de Figueiredo | Not recorded | — | 0 |
| Bruno Lopes | Not recorded | — | 1 |
| Alexandre Rademaker | Not recorded | — | 0 |