%0 Conference Paper %1 conf/csl/CirsteaKP09 %A Cîrstea, Corina %A Kupke, Clemens %A Pattinson, Dirk %B CSL %D 2009 %E Grädel, Erich %E Kahle, Reinhard %I Springer %K dblp %P 179-193 %T EXPTIME Tableaux for the Coalgebraic µ-Calculus. %U http://dblp.uni-trier.de/db/conf/csl/csl2009.html#CirsteaKP09 %V 5771 %@ 978-3-642-04026-9

@inproceedings{conf/csl/CirsteaKP09, added-at = {2023-03-21T00:00:00.000+0100}, author = {Cîrstea, Corina and Kupke, Clemens and Pattinson, Dirk}, biburl = {https://www.bibsonomy.org/bibtex/2c58d9a213d68b87c28138b289039a25e/dblp}, booktitle = {CSL}, crossref = {conf/csl/2009}, editor = {Grädel, Erich and Kahle, Reinhard}, ee = {https://doi.org/10.1007/978-3-642-04027-6_15}, interhash = {4168194807d8b25b2f901de838535032}, intrahash = {c58d9a213d68b87c28138b289039a25e}, isbn = {978-3-642-04026-9}, keywords = {dblp}, pages = {179-193}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T06:34:30.000+0200}, title = {EXPTIME Tableaux for the Coalgebraic µ-Calculus.}, url = {http://dblp.uni-trier.de/db/conf/csl/csl2009.html#CirsteaKP09}, volume = 5771, year = 2009 }