Linear High-Order Deterministic Tree ...

Type de document :
Rapport de recherche
DOI :
10.4230/LIPIcs.MFCS.2020.34
URL permanente :
http://hdl.handle.net/20.500.12210/29656
Titre :
Linear High-Order Deterministic Tree transducers with Regular look-ahead
Auteur(s) :
Gallot, Paul [Auteur]
Linking Dynamic Data [LINKS]
Lemay, Aurélien [Auteur]
Université de Lille
Linking Dynamic Data [LINKS]
Salvati, Sylvain [Auteur] refId
Linking Dynamic Data [LINKS]
Institution :
INRIA
Date de publication :
2020-08-28
Mot(s)-clé(s) en anglais :
Transducers
$λ$-calculus
Tree lanuages
Discipline(s) HAL :
Informatique [cs]/Complexité [cs.CC]
Informatique [cs]/Théorie et langage formel [cs.FL]
Langue :
Anglais
Collections :
Source :
Harvested from HAL
Date de dépôt :
2020-07-22T01:00:22Z
Fichiers
Thumbnail