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

Tytuł w języku angielskim

joint work with Amina Doumane

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.

---