Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy

Proceedings 16th Annual IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2001.932510 ◽

2002 ◽

Author(s):

D. Janin ◽

G. Lenzi

Download Full-text