On Model-Checking Trees Generated by Higher-Order Recursion Schemes.

C.-H. Luke Ong

Browse the full LICS paper archive.