%0 Conference Paper %1 conf/fics/CateF09 %A ten Cate, Balder %A Fontaine, Gaëlle %B FICS %D 2009 %E Matthes, Ralph %E Uustalu, Tarmo %I Institute of Cybernetics %K dblp %P 30-38 %T An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees. %U http://dblp.uni-trier.de/db/conf/fics/fics2009.html#CateF09 %@ 978-9949-430-29-1

@inproceedings{conf/fics/CateF09, added-at = {2020-03-12T00:00:00.000+0100}, author = {ten Cate, Balder and Fontaine, Gaëlle}, biburl = {https://www.bibsonomy.org/bibtex/2202c4ce8fb481132026a8672b6eabe43/dblp}, booktitle = {FICS}, crossref = {conf/fics/2009}, editor = {Matthes, Ralph and Uustalu, Tarmo}, ee = {http://cs.ioc.ee/fics09/proceedings/contrib4.pdf}, interhash = {3257ad80499bf031b793ab85284ecd2c}, intrahash = {202c4ce8fb481132026a8672b6eabe43}, isbn = {978-9949-430-29-1}, keywords = {dblp}, pages = {30-38}, publisher = {Institute of Cybernetics}, timestamp = {2020-03-13T12:41:25.000+0100}, title = {An Easy Completeness Proof for the Modal mu-Calculus on Finite Trees.}, url = {http://dblp.uni-trier.de/db/conf/fics/fics2009.html#CateF09}, year = 2009 }