Clones and tree languages

Prelegent(ci)

Mikołaj Bojańczyk

Afiliacja

Uniwersytet Warszawski

Termin

8 października 2014 14:15

Pokój

p. 5870

Tytuł w języku angielskim

joint work with Henryk Michalewski

Seminarium

Seminarium „Teoria automatów”

---

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.

---