Nie jesteś zalogowany | Zaloguj się

Kierownik: prof. dr hab. Damian Niwiński
Numer umowy: N206 005 31/0881
Data rozpoczęcia: 18 października 2006
Data zakończenia: 17 kwietnia 2008
Finansowany przez: Ministerstwo Nauki i Szkolnictwa Wyższego
Wykonawcy: mgr Filip Murlak
Słowa kluczowe: weryfikacja systemów współbieżnych, regularne języki drzew, automaty na nieskończonych drzewach, hierarchia indeksu, deskryptywna teoria mnogości, hierarchia borelowska/rzutowa, ciągłe redukcje, hierarchia Wadge'a, rozstrzygalność

Rozstrzygalne hierarchie regularnych języków drzew (promotorski)