Nie jesteś zalogowany |
Uniformization Problem for Variants of First Order Logic over Finite Words
- Prelegent(ci)
- Vincent Michielini
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 23 maja 2018 14:15
- Pokój
- p. 5050
- Seminarium
- Seminarium „Teoria automatów”
We study the uniformization problem for natural variants of the first order logic over finite words. We show that none of them has the uniformization property, as witnessed by proposed counterexamples.
