Nie jesteś zalogowany |
Powrót do listy grantów
A unified theory of finite-state recognisability
- Kierownik
- prof. dr hab. Mikołaj Bojańczyk
- Numer umowy
- 683080
- Data rozpoczęcia
- 1 maja 2016
- Data zakończenia
- 31 października 2021
- Finansowany przez
- European Research Council
- Wykonawcy
- prof. dr hab. Mikołaj Bojańczyk prof. dr hab. Sławomir Lasota dr hab. Bartosz Klin
- Słowa kluczowe
- automaty skończone, algebry skończone, monady, logika
