You are not logged in | Log in
Return to the list of grants

Decidability issues for automata on infinite structures

Principal investigator
prof. dr hab. Damian Niwiński
Contract number
Starting date
Feb. 4, 2015
Ending date
Feb. 3, 2018
Financed by
National Science Center
prof. dr hab. Mikołaj Bojańczyk, dr. Henryk Michalewski, post-doc, studenci