Michał Skrzypczak

Descriptive set theoretic methods in automata theory (Descriptive set theoretic methods in automata theory)

Afiliacja

Uniwersytet Warszawski

W zakresie

informatyki

Data nadania

18 grudnia 2014

Promotorzy

• prof. dr hab. Mikołaj Bojańczyk
• dr hab. Igor Walkiewicz (Universite de Bordeaux)

Recenzenci

• dr hab. Leszek Kołodziejczyk (Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego)
• prof. Jacques Duparc (Universite de Lausanne)

Dokumenty

• Rozprawa