The Variable Hierarchy of the µ-Calculus Is Strict.

Dietmar Berwanger Erich Grädel Giacomo Lenzi

Published in: Theory Comput. Syst. (2007)

Keyphrases

data sets
hierarchical structure
artificial intelligence
lower level
hierarchical organization
algebraic structure
formal language
relational calculus
class hierarchy