On the variable hierarchy of the modal mu-calculus

Berwanger, Dietmar; Grädel, Erich; Lenzi, Giacomo

Berlin [u.a.] : Springer (2002)
Contribution to a book, Contribution to a conference proceedings

In: Computer science logic : 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, UK, September 22 - 25, 2002 ; proceedings / Julian Bradfield (ed.)
Page(s)/Article-Nr.: 352-366


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