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]

Authors

Bahareh Afshari

This author has not been identified. Look up 'Bahareh Afshari' in Google

Dominik Wehr

This author has not been identified. Look up 'Dominik Wehr' in Google