Naoki Kobayashi (Graduate School of Information Sciences

Identifiers

• name variant Naoki Kobayashi (Graduate School of Information Sciences 0.60 · backfill

Papers (1)

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

Mentions

• 1109.5267 #1 · backfill · confidence 0.70 Naoki Kobayashi (Graduate School of Information Sciences

Frequent Coauthors

• C.-H. Luke Ong (Oxford University Computing Laboratory) 1 shared papers
• Tohoku University) 1 shared papers