Countdown -calculus

DOI10.4230/LIPICS.MFCS.2022.64MaRDI QIDQ6584067zbMATH OpenFDO

Authors Jeḑrzej Kołodziejski, Bartek Klin

Publication date 6 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2022.64

zbMATH Keywords

automatacountdown \(\mu\)-calculusgames

Mathematics Subject Classification ID

Theory of computing (68Qxx)

This page was built for publication: Countdown \(\mu\)-calculus

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