C.-H. Luke Ong (Oxford University Computing Laboratory)
Identifiers
- name variant C.-H. Luke Ong (Oxford University Computing Laboratory) 0.60 · backfill
Papers (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