Higher-order recursion schemes and their automata models

  • Arnaud Carayol

    Université Gustave Eiffel, Marne-la-Vallée Cedex 2, France
  • Olivier Serre

    Université de Paris et CNRS, France
Higher-order recursion schemes and their automata models cover

A subscription is required to access this book chapter.