Exact bounds for acyclic higher-order recursion schemes

Bahareh Afshari, Dominik Wehr. Exact bounds for acyclic higher-order recursion schemes. Inf. Comput., 290:104982, January 2023. [doi]

Abstract

Abstract is missing.