Nie jesteś zalogowany | Zaloguj się
Powrót do listy doktoratów

Jędrzej Kołodziejski

Bisimulation-Invariant Logics: Beyond Finite (and Infinite) (Logiki niezmiennicze na bisymulacje: dalej niż skończoność (i nieskończoność))

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