%0 Conference Paper %1 conf/aiml/Gheerbrant10 %A Gheerbrant, Amélie %B Advances in Modal Logic %D 2010 %E Beklemishev, Lev D. %E Goranko, Valentin %E Shehtman, Valentin B. %I College Publications %K dblp %P 140-155 %T Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus. %U http://dblp.uni-trier.de/db/conf/aiml/aiml2010.html#Gheerbrant10 %@ 978-1-84890-013-4

@inproceedings{conf/aiml/Gheerbrant10, added-at = {2020-03-12T00:00:00.000+0100}, author = {Gheerbrant, Amélie}, biburl = {https://www.bibsonomy.org/bibtex/2ec5792ab5e3319b74b3431154291ba3f/dblp}, booktitle = {Advances in Modal Logic}, crossref = {conf/aiml/2010}, editor = {Beklemishev, Lev D. and Goranko, Valentin and Shehtman, Valentin B.}, ee = {http://www.aiml.net/volumes/volume8/Gheerbrant.pdf}, interhash = {548f5cf3c6b4e023a756fb7956e8280e}, intrahash = {ec5792ab5e3319b74b3431154291ba3f}, isbn = {978-1-84890-013-4}, keywords = {dblp}, pages = {140-155}, publisher = {College Publications}, timestamp = {2024-04-09T20:03:32.000+0200}, title = {Complete Axiomatization of the Stutter-invariant Fragment of the Linear Time mu-calculus.}, url = {http://dblp.uni-trier.de/db/conf/aiml/aiml2010.html#Gheerbrant10}, year = 2010 }