Powrót do listy grantów
Automata: from Mathematics to Applications (AutoMathA)
- Kierownik
- prof. dr hab. Mikołaj Bojańczyk
- Data rozpoczęcia
- 1 maja 2005
- Data zakończenia
- 31 maja 2010
- Finansowany przez
- European Science Foundation
- Słowa kluczowe
- automata, semigroups, formal grammars and languages, combinatorics on words, model checking