Nie jesteś zalogowany |
Clones and tree languages
- Prelegent(ci)
- Mikołaj Bojańczyk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 8 października 2014 14:15
- Pokój
- p. 5870
- 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.
• 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.
