Nie jesteś zalogowany | Zaloguj się
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