Tytuł projektu: Problemy typu hierarchicznego dla automatów na nieskończonych słowach i drzewach
Instytucja: Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Miasto: Warszawa
Województwo: mazowieckie
Kierownik projektu: dr Michał Paweł Skrzypczak
Panel: ST6 (obszar: ST)
Liczba wykonawców: 2
Finansowanie: 58600 PLN
Okres realizacji: 2013-03-26 00:00:00 – 2015-09-25 00:00:00 (30 miesięcy)