You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw
Return to the list of grants

Decidability issues for automata on infinite structures

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

Careers

Website

© 2024 University of Warsaw. All rights reserved.