C.-H. Luke Ong (Oxford University Computing Laboratory)

Identifiers

• name variant C.-H. Luke Ong (Oxford University Computing Laboratory) 0.60 · backfill

Papers (1)

1. Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus cs.LO · 2011 · author #3

Mentions

• 1109.5267 #3 · backfill · confidence 0.70 C.-H. Luke Ong (Oxford University Computing Laboratory)

Frequent Coauthors

• Naoki Kobayashi (Graduate School of Information Sciences 1 shared papers
• Tohoku University) 1 shared papers