Nie jesteś zalogowany |
Powrót do listy grantów
Zagadnienia rozstrzygalności w teorii automatów na strukturach nieskończonych
- Kierownik
- prof. dr hab. Damian Niwiński
- Numer umowy
- 2014-13/B/ST6/03595
- Data rozpoczęcia
- 4 lutego 2015
- Data zakończenia
- 3 lutego 2018
- Finansowany przez
- Narodowe Centrum Nauki
- Wykonawcy
- prof. dr hab. Mikołaj Bojańczyk, dr. Henryk Michalewski, post-doc, studenci
