The Variable Hierarchy of the μ-Calculus Is Strict

Berwanger, Dietmar; Lenzi, Giacomo

Heidelberg [u.a.] : Springer (2005)
Contribution to a book, Contribution to a conference proceedings

In: Proceedings / STACS 2005, 22nd Annual Symposium on Theoretical Aspects of Computer Science, Stuttgart, Germany, February 24-26, 2005 / Volker Diekert; Bruno Durand (eds.
Page(s)/Article-Nr.: 97-109


  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]
  • Department of Mathematics [110000]