Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus (Q5895528)
From MaRDI portal
scientific article; zbMATH DE number 6020606
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus |
scientific article; zbMATH DE number 6020606 |
Statements
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus (English)
0 references
2 April 2012
0 references
model checking
0 references
higher-order recursion schemes
0 references
modal mu-calculus
0 references
complexity
0 references
