Some results on complexity of \(\mu\)-calculus evaluation in the black-box model (Q2842242)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Some results on complexity of \(\mu\)-calculus evaluation in the black-box model |
scientific article; zbMATH DE number 6198060
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Some results on complexity of \(\mu\)-calculus evaluation in the black-box model |
scientific article; zbMATH DE number 6198060 |
Statements
13 August 2013
0 references
\(\mu\)-calculus
0 references
black-box model
0 references
lower bound
0 references
expression complexity
0 references
0 references
0 references
0.8307823
0 references
0.83006006
0 references
0 references
0.8292528
0 references
0.8292528
0 references
0.8185555
0 references
Some results on complexity of \(\mu\)-calculus evaluation in the black-box model (English)
0 references
