Nie jesteś zalogowany | Zaloguj się
Powrót do listy grantów

Półpozycyjna determinacja gier nieskończonych (promotorski)

Kierownik
prof. dr hab. Damian Niwiński
Numer umowy
N206 002 32/0472
Data rozpoczęcia
25 kwietnia 2007
Data zakończenia
28 października 2008
Finansowany przez
Ministerstwo Nauki i Szkolnictwa Wyższego
Wykonawcy
Eryk Kopczyński
Słowa kluczowe
gry nieskończone, pozycyjna determinacja, teoria automatów, gry parzystości, gry Ehrenfeuchta- Mycielskiego, systemy interakcyjne, języki formalne