Linear High-Order Deterministic Tree transducers with Regular look-ahead

Type de document :

Rapport de recherche

DOI :

URL :

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]

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 :

Date de dépôt :

2020-07-22T01:00:22Z

Linear High-Order Deterministic Tree ... BibTeX CSV Excel RIS