Mu-calculus on data words
- Prelegent(ci)
- Amaldev Manuel
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 18 marca 2015 14:15
- Pokój
- p. 5870
- Seminarium
- Seminarium „Teoria automatów”
I will describe Data automata, FO^2 and some natural fragments of Data automata defined by classes of Mu-calculus formulas and wrap it up by separating two classes using the circuits we discussed last time. If time permits we can have a look at the infinite data words case also.