Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
0809.0360
Cited By
v1
v2 (latest)
The Complexity of Enriched Mu-Calculi
2 September 2008
P. Bonatti
C. Lutz
A. Murano
Moshe Y. Vardi
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"The Complexity of Enriched Mu-Calculi"
1 / 1 papers shown
Reasoning About Strategies: On the Model-Checking Problem
F. Mogavero
A. Murano
Giuseppe Perelli
Moshe Y. Vardi
LRM
383
157
0
29 Dec 2011
1
Page 1 of 1
