David Janin, Giacomo Lenzi
Relating Levels of the μ-Calculus Hierarchy and Levels of the Monadic Hierarchy
LICS, 2001.
@inproceedings{LICS-2001-JaninL, author = "David Janin and Giacomo Lenzi", booktitle = "{Proceedings of the 16th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2001.932510", isbn = "0-7695-1281-X", pages = "347--356", publisher = "{IEEE Computer Society}", title = "{Relating Levels of the μ-Calculus Hierarchy and Levels of the Monadic Hierarchy}", year = 2001, }