Nie jesteś zalogowany |
The LoCo conjecture
- Prelegent(ci)
- Nathanael Fijalkow
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 24 czerwca 2015 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
I will talk about the LoCo conjecture, which has been conjecture by Christof Löding and Thomas Colcombet in 2010. It talks about games with counters, and implies the decidability of the Rabin-Mostowski hierarchy.
I will show that the conjecture is in general wrong, but that it holds in a special case.
I will show that the conjecture is in general wrong, but that it holds in a special case.
