joint work with Henryk Michalewski

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Date

Oct. 8, 2014, 2:15 p.m.

Room

room 5870

Title in Polish

Clones and tree languages

Seminar

Seminar Automata Theory

---

I will talk about work in progress, which tries to connect
• the project to classify fragments of MSO on finite trees, e.g. decide which regular languages of finite trees are definable in first-order logic
• results about finite algebras and clones that come from universal algebra.

---