| | The Complexity of Enriched Mu-Calculi |
Has publishing details
abs/0809.0360, 2008
Has title
The Complexity of Enriched Mu-Calculi
Has where published
CoRR
Has year
2008
Has author
Piero A. Bonatti +, Carsten Lutz +, Aniello Murano +, Moshe Y. Vardi +
Has identifier
DBLP:journals/corr/abs-0809-0360 +
Categories Journal Paper +
|