%0 Conference Paper %1 conf/lics/FacchiniVZ13 %A Facchini, Alessandro %A Venema, Yde %A Zanasi, Fabio %B LICS %D 2013 %I IEEE Computer Society %K dblp %P 478-487 %T A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus. %U http://dblp.uni-trier.de/db/conf/lics/lics2013.html#FacchiniVZ13 %@ 978-1-4799-0413-6

@inproceedings{conf/lics/FacchiniVZ13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Facchini, Alessandro and Venema, Yde and Zanasi, Fabio}, biburl = {https://www.bibsonomy.org/bibtex/23d51934544d2aa88580e70dc56624344/dblp}, booktitle = {LICS}, crossref = {conf/lics/2013}, ee = {http://dl.acm.org/citation.cfm?id=2591390}, interhash = {c86f03d4b3fe5484de02f435cf2d299e}, intrahash = {3d51934544d2aa88580e70dc56624344}, isbn = {978-1-4799-0413-6}, keywords = {dblp}, pages = {478-487}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T20:03:10.000+0200}, title = {A Characterization Theorem for the Alternation-Free Fragment of the Modal µ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2013.html#FacchiniVZ13}, year = 2013 }