Nie jesteś zalogowany |
First-order tree-to-tree functions
- Prelegent(ci)
- Mikołaj Bojańczyk
- Afiliacja
- Uniwersytet Warszawski
- Termin
- 26 lutego 2020 14:15
- Pokój
- p. 5050
- Seminarium
- Seminarium „Teoria automatów”
We study tree-to-tree transformations that can be defined in logics such as first-order logic
or monadic second-order logic.We show that such transformations can be decomposed
into certain primitive transformations, such as tree-to-tree homomorphisms or pre-order
traversal, by using combinators such as function composition.
