Powrót do listy of Promotor
Radosław Piórkowski
Tame the Infinite - Simplification Problems for Infinite-State Systems (Oswoić nieskończone - problemy upraszczania dla systemów nieskończenie stanowych)
- Afiliacja
- Uniwersytet Warszawski
- W zakresie
- informatyki
- Data nadania
- 27 października 2022
- Promotor
- prof. dr hab. Sławomir Lasota
- Promotor pomocniczy
- dr hab. Wojciech Czerwiński
- Recenzenci
- dr hab. Jakub Michaliszyn
- prof. Stefan Göller
- Dokumenty
- Recenzje