joint work with Thomas Place
- Speaker(s)
- Mikołaj Bojańczyk
- Affiliation
- Uniwersytet Warszawski
- Date
- Feb. 22, 2012, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
Using nominal sets, we define a uniform approach to logics over data words, data trees, data graphs and so on. The key technical result is that, in the equality symmetry, formulas that quantify over data values are equivalent to formulas that do not quantify over data values.