On the Variable Hierarchy of the Modal µ-Calculus - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Dietmar Berwanger, Erich Grädel, Giacomo Lenzi. On the Variable Hierarchy of the Modal µ-Calculus. In Julian C. Bradfield, editor, Computer Science Logic, 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September 22-25, 2002, Proceedings. Volume 2471 of Lecture Notes in Computer Science, pages 352-366, Springer, 2002. [doi]

This author has not been identified. Look up 'Dietmar Berwanger' in GoogleThis author has not been identified. Look up 'Erich Grädel' in GoogleThis author has not been identified. Look up 'Giacomo Lenzi' in Google

runs on WebDSL