Publications

Export 1 results:
Filters: Author is Erich Grädel  [Clear All Filters]
2002
Alberucci, L.: Strictness of the modal $μ$-calculus hierarchy. In: Grädel, E., Thomas, W., and Wilke, T. Automata, Logics and infinite Games: A Guide to Current Research. pp. 185-201. Springer (2002).