Pages that link to "Item:Q4583323"
From MaRDI portal
The following pages link to Deciding the unguarded modal -calculus (Q4583323):
Displaying 6 items.
- Parity game reductions (Q1656552) (← links)
- Quasipolynomial computation of nested fixpoints (Q2044189) (← links)
- NP reasoning in the monotone \(\mu\)-calculus (Q2096471) (← links)
- Proof systems for the modal \(\mu \)-calculus obtained by determinizing automata (Q6541156) (← links)
- Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi (Q6597959) (← links)
- On the size of disjunctive formulas in the \(\mu\)-calculus (Q6649531) (← links)