4 citations · 9 across the 10 of their papers we have counts for
1 paper · 2 filters
Paweł Parys
We study the model-checking problem for recursion schemes: does the tree generated by a given higher-order recursion scheme satisfy a given logical sentence. The problem is known t…