A decision procedure for alternation-free modal -calculi

From MaRDI portal
Publication:3085177












This page was built for publication: A decision procedure for alternation-free modal \(\mu\)-calculi

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085177)