On the Expressivity of Linear Recursion Schemes - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

On the Expressivity of Linear Recursion Schemes

Pierre Clairambault
Laboratoire de l'Informatique du Parallélisme
Preuves et Langages
Andrzej Murawski
  • Fonction : Auteur
Computing Laboratory

Domaines

Logique en informatique [cs.LO] Langage de programmation [cs.PL]

Pierre Clairambault  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02313542

Soumis le : vendredi 11 octobre 2019-13:03:22

Dernière modification le : mardi 12 novembre 2024-15:20:06

Fichier non déposé

Dates et versions

hal-02313542 , version 1 (11-10-2019)

Identifiants

Citer

Pierre Clairambault, Andrzej Murawski. On the Expressivity of Linear Recursion Schemes. 44th International Symposium on Mathematical Foundations of Computer Science, Aug 2019, Aachen, Germany. ⟨10.4230/LIPIcs.MFCS.2019.50⟩. ⟨hal-02313542⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LABEX-MILYON UDL ANR
116 Consultations
0 Téléchargements

Altmetric

Partager

More