Fingerprint
Dive into the research topics of 'The Complexity of the Graded µ-Calculus.'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
The Complexity of the Graded µ-Calculus.
Orna Kupferman, Ulrike Sattler, Moshe Y. Vardi*
*Corresponding author for this work
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
71
Scopus
citations