First-order tree-to-tree functions - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2020

First-order tree-to-tree functions

Mikolaj Bojanczyk
  • Fonction : Auteur
  • PersonId : 835905
Amina Doumane

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. (Note: this new version contains an erratum)
Fichier principal
Vignette du fichier
main (1).pdf (18.17 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03794813 , version 1 (27-01-2023)

Identifiants

  • HAL Id : hal-03794813 , version 1

Citer

Mikolaj Bojanczyk, Amina Doumane. First-order tree-to-tree functions. LICS, Jul 2020, Saarbrücken, Germany. ⟨hal-03794813⟩

Collections

ENS-LYON UDL
8 Consultations
1 Téléchargements

Partager

Gmail Facebook X LinkedIn More