Nie jesteś zalogowany | Zaloguj się
Powrót do listy doktoratów

Rafał Stefański

The Single-Use Restriction for Register Automata and Transducers over Infinite Alphabets (Warunek jednorazowości dla automatów i transduktorów rejestrowych nad nieskończonymi alfabetami)

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