Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Work
Year: 2009
Type: book-chapter
Authors Naoki Kobayashi, C.-H. Luke Ong
Institutions Tohoku University, University of Oxford
Cites: 16
Cited by: 22
Related to: 10
FWCI: 4.966
Citation percentile (by year/subfield): 86.3
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Decent work and economic growth
Open Access status: closed