Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Aktualności — Wydarzenia

Teoria Automatów

 

First-order tree-to-tree functions (joint work with Amina Doumane)


Prelegent: Mikołaj Bojańczyk

2020-02-26 14:15

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.