Deciding the unguarded modal \(\mu\)-calculus (Q4583323)
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: Deciding the unguarded modal -calculus |
scientific article; zbMATH DE number 6928171
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Deciding the unguarded modal \(\mu\)-calculus |
scientific article; zbMATH DE number 6928171 |
Statements
Deciding the unguarded modal -calculus (English)
0 references
28 August 2018
0 references
satisfiability checking
0 references
fixpoints
0 references
tableaux
0 references
automata
0 references
0 references
0 references
0.9698668718338012
0 references
0.8079625368118286
0 references
0.7837780714035034
0 references
0.7765530943870544
0 references
0.77140212059021
0 references
