You are not logged in |
Uniformization Problem for Variants of First Order Logic over Finite Words
- Speaker(s)
- Vincent Michielini
- Affiliation
- Uniwersytet Warszawski
- Date
- May 23, 2018, 2:15 p.m.
- Room
- room 5050
- Seminar
- Seminar Automata Theory
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.
