On the Variable Hierarchy of the Modal μ-Calculus

Computer Science Logic - Lecture Notes in Computer Science ◽

10.1007/3-540-45793-3_24 ◽

2002 ◽

pp. 352-366 ◽

Cited By ~ 4

Author(s):

Dietmar Berwanger ◽

Erich Grädel ◽

Giacomo Lenzi

Download Full-text