Quasipolynomial computation of nested fixpoints (Q2044189)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Quasipolynomial computation of nested fixpoints |
scientific article |
Statements
Quasipolynomial computation of nested fixpoints (English)
0 references
4 August 2021
0 references
fixpoint theory
0 references
model checking
0 references
satisfiability checking
0 references
parity games
0 references
energy games
0 references
\( \mu \)-calculus
0 references
0 references
0 references
