Nie jesteś zalogowany | Zaloguj się

Kierownik: dr hab. Paweł Parys, prof. UW
Numer umowy: 2012/07/D/ST6/02443
Data rozpoczęcia: 9 lipca 2013
Data zakończenia: 8 lipca 2016
Finansowany przez: Narodowe Centrum Nauki
Słowa kluczowe: automaty ze stosem wyższego rzędu, ilościowe rozszerzenia języków regularnych

Granice rozstrzygalności w teorii automatow