45 citations · 118 across the 19 of their papers we have counts for
1 paper · 1 filter
Jiri Adamek, Stefan Milius, Jiri Velebil
Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted…