You are not logged in |
mu-calculus with atoms
- Speaker(s)
- Bartek Klin
- Affiliation
- Uniwersytet Warszawski
- Date
- Oct. 11, 2017, 2:15 p.m.
- Room
- room 5050
- Seminar
- Seminar Automata Theory
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.
