Higher-order recursion schemes and their automata models
Domaines
| Origine | Accord explicite pour ce dépôt |
|---|---|
| Licence |
| Origine | Accord explicite pour ce dépôt |
|---|---|
| Licence |
Connectez-vous pour contacter le contributeur
https://hal.science/hal-03176662
Soumis le : mardi 23 mars 2021-17:17:24
Dernière modification le : vendredi 19 décembre 2025-10:22:02
Archivage à long terme le : jeudi 24 juin 2021-18:05:19