Nie jesteś zalogowany |
Powrót do listy doktoratów
Jędrzej Kołodziejski
Logiki niezmiennicze na bisymulacje: dalej niż skończoność (i nieskończoność) (Bisimulation-Invariant Logics: Beyond Finite (and Infinite))
- Afiliacja
- Uniwersytet Warszawski
- W dyscyplinie
- informatyka
- Data nadania
- 27 czerwca 2024
- Promotor
- prof. Bartosz Klin (University of Oxford)
- Recenzenci
- prof. dr hab. Witold Charatonik (Uniwersytet Wrocławski)
- dr Denis Kuperberg (CNRS, ENS w Lyonie)
- dr Karoliina Lehtinen (CNRS, Uniwersytet w Marsylii)
- Dokumenty
- Recenzje
