"Higher-order recursion schemes and their automata models."

Arnaud Carayol, Olivier Serre (2021)

Details and statistics

DOI: 10.4171/AUTOMATA-2/13

access: closed

type: Part in Book or Collection

metadata version: 2022-04-11

a service of  Schloss Dagstuhl - Leibniz Center for Informatics