Florian Rabe
Original record- Institution
- Jacobs University Bremen
- Year
- 2008
- Country
- Germany
- MGP identifier
- 162462
Dissertation: Representing Logics and Logic Translations
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 3
- Till MossakowskiInstitution not recorded
- Frank PfenningCarnegie Mellon University · 1987
- Michael KohlhaseInstitution not recorded
Students 3
| Name | Institution | Year | Students |
|---|---|---|---|
| Fulya Feryal Horozal | Jacobs University Bremen | 2014 | 0 |
| Mihnea Iancu | Jacobs University Bremen | 2017 | 0 |
| Dennis Müller | Friedrich-Alexander-Universität Erlangen-Nürnberg | 2019 | 0 |