joint work with Amina Doumane

Speaker(s)

Mikołaj Bojańczyk

Affiliation

Uniwersytet Warszawski

Date

Feb. 26, 2020, 2:15 p.m.

Room

room 5050

Title in Polish

First-order tree-to-tree functions

Seminar

Seminar Automata Theory

---

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.

---