The Variable Hierarchy for the Lattice μ-Calculus

DOI10.1007/978-3-540-89439-1_42zbMATH Open1182.03064OpenAlexW1605412100MaRDI QIDQ5505584

Luigi Santocanale, Walid Belkhir

Publication date: 27 January 2009

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89439-1_42

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

The variable hierarchy for the games \(\mu \)-calculus

This page was built for publication: The Variable Hierarchy for the Lattice μ-Calculus

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