![](/img/cover-not-exists.png)
[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus
Facchini, Alessandro, Venema, Yde, Zanasi, FabioYear:
2013
Language:
english
DOI:
10.1109/lics.2013.54
File:
PDF, 288 KB
english, 2013