Nie jesteś zalogowany |
Powrót do listy doktoratów
Rafał Stefański
Warunek jednorazowości dla automatów i transduktorów rejestrowych nad nieskończonymi alfabetami (The Single-Use Restriction for Register Automata and Transducers over Infinite Alphabets)
- Afiliacja
- Uniwersytet Warszawski
- W dyscyplinie
- informatyka
- Data nadania
- 21 grudnia 2023
- Promotor
- prof. dr hab. Mikołaj Bojańczyk (Uniwersytet Warszawski)
- Recenzenci
- dr Emmanuel Filiot (Université Libre de Bruxelles)
- dr Diego Figueira (Université de Bordeaux)
- prof. Andrzej Murawski (University of Oxford)
- Dokumenty
- Recenzje
