%0 Conference Paper %1 conf/ijcai/NiveauZ16 %A Niveau, Alexandre %A Zanuttini, Bruno %B IJCAI %D 2016 %E Kambhampati, Subbarao %I IJCAI/AAAI Press %K %P 1223-1229 %T Efficient Representations for the Modal Logic S5. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#NiveauZ16 %@ 978-1-57735-771-1

@inproceedings{conf/ijcai/NiveauZ16, added-at = {2023-12-12T20:47:10.000+0100}, author = {Niveau, Alexandre and Zanuttini, Bruno}, biburl = {https://www.bibsonomy.org/bibtex/21b893efb422424a501fd618ed9093a68/admin}, booktitle = {IJCAI}, crossref = {conf/ijcai/2016}, editor = {Kambhampati, Subbarao}, ee = {http://www.ijcai.org/Abstract/16/177}, interhash = {344d83daea07cf3084787af3966579b2}, intrahash = {1b893efb422424a501fd618ed9093a68}, isbn = {978-1-57735-771-1}, keywords = {}, pages = {1223-1229}, publisher = {IJCAI/AAAI Press}, timestamp = {2023-12-12T20:47:10.000+0100}, title = {Efficient Representations for the Modal Logic S5.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai2016.html#NiveauZ16}, year = 2016 }