On model-checking trees generated by higher-order recursion schemes

by C.-H. L. Ong
Citations:43 - 8 self