The following pages link to (Q4472245):
Displaying 8 items.
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- Mu-calculus path checking (Q1045942) (← links)
- \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\) (Q2011666) (← links)
- Efficiently Deciding μ-Calculus with Converse over Finite Trees (Q2957698) (← links)
- The Modal μ-Calculus Caught Off Guard (Q3010366) (← links)
- (Q3384164) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- Deciding the unguarded modal -calculus (Q4583323) (← links)
