Higher-order recursion schemes and their automata models
Domaines
Logique en informatique [cs.LO]Origine | Accord explicite pour ce dépôt |
---|
Origine | Accord explicite pour ce dépôt |
---|
Olivier Serre : 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 17 mai 2024-16:10:02
Archivage à long terme le : jeudi 24 juin 2021-18:05:19