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

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