joint work with Thomas Place

Prelegent(ci)

Mikołaj Bojańczyk

Afiliacja

Uniwersytet Warszawski

Język referatu

angielski

Termin

22 lutego 2012 14:15

Pokój

p. 5870

Tytuł w języku polskim

Model theory with nominal sets

Seminarium

Seminarium „Teoria automatów”

---

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.

---