The Variable Hierarchy for the Lattice μ-Calculus

DOI10.1007/978-3-540-89439-1_42MaRDI QIDQ5505584zbMATH OpenOpenAlexFDO

Authors Walid Belkhir, Luigi Santocanale

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)

Recommendations

• STACS 2005
• The variable hierarchy for the games -calculus
• The variable hierarchy of the \(\mu\)-calculus is strict
• scientific article; zbMATH DE number 1948173
• scientific article; zbMATH DE number 1954388

Cited in

(5)

• The alternation hierarchy for the theory of \(\mu\)-lattices
• scientific article; zbMATH DE number 1948173 (Why is no real title available?)
• The variable hierarchy for the games -calculus
• The variable hierarchy of the \(\mu\)-calculus is strict
• STACS 2005

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)