On the variable hierarchy of the modal mu-calculus

Berlin [u.a.] / Springer (2002) [Buchbeitrag, Beitrag zu einem Tagungsband]

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.)
Seite(n): 352-366

Autorinnen und Autoren

Autorinnen und Autoren

Berwanger, Dietmar
Grädel, Erich
Lenzi, Giacomo

Identifikationsnummern

  • REPORT NUMBER: RWTH-CONV-188370