Article Dans Une Revue
Theory of Computing Systems
Année : 2017
Vincent Penelle : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01762628
Soumis le : mardi 10 avril 2018-11:56:28
Dernière modification le : vendredi 24 mars 2023-14:53:07
Dates et versions
Identifiants
- HAL Id : hal-01762628 , version 1
- ARXIV : 1502.04653
- DOI : 10.1007/s00224-017-9769-6
Citer
Vincent Penelle. Rewriting Higher-Order Stack Trees. Theory of Computing Systems, 2017, 61 (2), pp.536 - 580. ⟨10.1007/s00224-017-9769-6⟩. ⟨hal-01762628⟩
Collections
29
Consultations
0
Téléchargements