Verteidigung der Masterarbeit: "Towards the Scott Normal Forms of Guarded Logics and Their Implications for Verification"
Alexander Stage
- https://www.informatik.hu-berlin.de/de/events/verteidigung-der-masterarbeit-towards-the-scott-normal-forms-of-guarded-logics-and-their-implications-for-verification
- Verteidigung der Masterarbeit: "Towards the Scott Normal Forms of Guarded Logics and Their Implications for Verification"
- 2026-06-18T15:00:00+02:00
- 2026-06-18T23:59:59+02:00
- Alexander Stage
- Wann 18.06.2026 ab 15:00 Uhr
- Wo RUD25 4.410
- Name des Kontakts Prof. Dr. Joel Rybicki
-
iCal