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
- 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.
• 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.