mu-calculus with atoms

Prelegent(ci)

Bartek Klin

Afiliacja

Uniwersytet Warszawski

Termin

11 października 2017 14:15

Pokój

p. 5050

Seminarium

Seminarium „Teoria automatów”

---

True to the spirit of "\lambda x. (x with atoms)", I will present a modal mu-calculus with atoms. I will also explain what is wrong with it, and how it could perhaps be improved.

This is joint work with Mateusz Łełyk.

---