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

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

• Rozprawa

Recenzje

• Recenzja
• Recenzja
• Recenzja