The Complexity of the Graded mu-Calculus

O Kupferman, U Sattler, M Y Vardi

Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Proc. of the Conference on Automated Deduction (CADE-18)
Publisher	Springer Nature
Volume	2392
Publication status	Published - 2002

Name	Lecture Notes in Artificial Intelligence

Access to Document

@inproceedings{f8395833855942f6b77a6a41ce9647a1,

title = "The Complexity of the Graded mu-Calculus",

author = "O Kupferman and U Sattler and Vardi, \{M Y\}",

year = "2002",

language = "English",

volume = "2392",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer Nature",

booktitle = "Proc. of the Conference on Automated Deduction (CADE-18)",

address = "United States",

}