The Variable Hierarchy for the Lattice μ-Calculus

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

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

Recommendations

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

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cited In (5)

• The alternation hierarchy for the theory of \(\mu\)-lattices
• Title not available (Why is that?)
• STACS 2005
• The variable hierarchy for the games \(\mu \)-calculus
• The variable hierarchy of the \(\mu\)-calculus is strict

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)