Communication Dans Un Congrès Année : 2020

First-order tree-to-tree functions

Résumé

We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as tree-to-tree homomorphisms or pre-order traversal, by using combinators such as function composition.

Fichier principal
Vignette du fichier
main.pdf (19.21 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03404542 , version 1 (26-10-2021)

Licence

Identifiants

Citer

Mikołaj Bojańczyk, Amina Doumane. First-order tree-to-tree functions. LICS, Aug 2020, Saarbrücken, Germany. ⟨10.1145/3373718.3394785⟩. ⟨hal-03404542⟩
88 Consultations
164 Téléchargements

Altmetric

Partager

  • More