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