Higher-order recursion schemes and their automata models - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2021

Higher-order recursion schemes and their automata models

Arnaud Carayol
Laboratoire d'Informatique Gaspard-Monge
Olivier Serre
Institut de Recherche en Informatique Fondamentale
CV

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
chapter 2_35.pdf (581.81 Ko) Télécharger le fichier
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 : dimanche 9 juillet 2023-10:03:05

Archivage à long terme le : jeudi 24 juin 2021-18:05:19

Télécharger pour visualiser

Dates et versions

hal-03176662 , version 1 (23-03-2021)

Identifiants

  • HAL Id : hal-03176662 , version 1

Citer

Arnaud Carayol, Olivier Serre. Higher-order recursion schemes and their automata models. Jean-Éric Pin. Handbook of Automata Theory, 2, European Mathematical Society, pp.1295-1341, 2021, 978-3-98547-006-8. ⟨hal-03176662⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENPC CNRS PARISTECH LIGM LIGM_MOA UP-SCIENCES UNIV-EIFFEL IRIF LIGM_BAAM
103 Consultations
400 Téléchargements

Partager

Gmail Facebook X LinkedIn More