joint work with Thomas Colcombet

Speaker(s)

Amaldev Manuel

Affiliation

Uniwersytet Warszawski

Date

March 18, 2015, 2:15 p.m.

Room

room 5870

Title in Polish

Mu-calculus on data words

Seminar

Seminar Automata Theory

---

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.

---