Reinhard Pichler
Original record- Institution
- Not recorded
- Year
- Not recorded
- Country
- Austria
- MGP identifier
- 130135
Dissertation: H-Subsumption in Automated Deduction
Mathematics Subject Classification: 68—Computer science
Advisors 2
- Alexander LeitschInstitution not recorded
- Georg GottlobInstitution not recorded
Students 16
| Name | Institution | Year | Students |
|---|---|---|---|
| Shqiponja Ahmetaj | Technische Universität Wien | 2019 | 0 |
| Muhammad Intizar Ali | Technische Universität Wien | 2011 | 0 |
| Robert Julian Chandradoss | Not recorded | — | 0 |
| Florin Ioan Chertes | Technische Universität Wien | 2015 | 0 |
| Julia Theresa Csar | Technische Universität Wien | 2018 | 0 |
| José Aldo Díaz Prado | Not recorded | — | 0 |
| Ruslan Rustamovich Fayzrakhman | Technische Universität Wien | 2013 | 0 |
| Wolfgang Fischl | Technische Universität Wien | 2019 | 0 |
| Michael Jakl | Technische Universität Wien | 2010 | 0 |
| Martin Kronegger | Technische Universität Wien | 2016 | 0 |
| Martin Lackner | Not recorded | — | 2 |
| Matthias Paul Lanzinger | Not recorded | — | 0 |
| Stefan Rümmele | Technische Universität Wien | 2012 | 0 |
| Emanuel Sallinger | Technische Universität Wien | 2014 | 0 |
| Vadim Savenkov | Technische Universität Wien | 2012 | 0 |
| Sebastian Skritek | Technische Universität Wien | 2013 | 0 |