Nie jesteś zalogowany |
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.
