The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity

From MaRDI portal
(Redirected from The -calculus alternation hierarchy collapses over structures with restricted connectivity)
The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity