Countdown -calculus

DOI10.4230/LIPICS.MFCS.2022.64MaRDI QIDQ6584067FDOQ6584067

Authors: Jeḑrzej Kołodziejski, Bartek Klin 

Publication date: 6 August 2024

zbMATH Keywords

automatagamescountdown \(\mu\)-calculus

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)