Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus.

Naoki Kobayashi, C.-H. Luke Ong

Browse the full ICALP paper archive.