Higher-order recursion schemes and their automata models
| Origin | Explicit agreement for this submission |
|---|---|
| Licence |
| Origin | Explicit agreement for this submission |
|---|---|
| Licence |
Connect in order to contact the contributor
https://hal.science/hal-03176662
Submitted on : Tuesday, March 23, 2021-5:17:24 PM
Last modification on : Friday, December 19, 2025-10:22:02 AM
Long-term archiving on : Thursday, June 24, 2021-6:05:19 PM