Exact bounds for acyclic higher-order recursion schemes

Autor: Afshari, Bahareh, Wehr, Dominik
Zdroj: In Information and Computation November 2022
Databáze: ScienceDirect