%0 Conference Paper %1 conf/lpnmr/CerroHS13 %A del Cerro, Luis Fariñas %A Herzig, Andreas %A Su, Ezgi Iraz %B LPNMR %D 2013 %E Cabalar, Pedro %E Son, Tran Cao %I Springer %K dblp %P 304-316 %T Combining Equilibrium Logic and Dynamic Logic. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2013.html#CerroHS13 %V 8148 %@ 978-3-642-40564-8

@inproceedings{conf/lpnmr/CerroHS13, added-at = {2017-05-23T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas and Herzig, Andreas and Su, Ezgi Iraz}, biburl = {https://www.bibsonomy.org/bibtex/250ea062464d95ffd15e323836f23e361/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2013}, editor = {Cabalar, Pedro and Son, Tran Cao}, ee = {https://doi.org/10.1007/978-3-642-40564-8_30}, interhash = {74a56b49a9efa2a562b3bf0f4e6aa750}, intrahash = {50ea062464d95ffd15e323836f23e361}, isbn = {978-3-642-40564-8}, keywords = {dblp}, pages = {304-316}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:48:36.000+0200}, title = {Combining Equilibrium Logic and Dynamic Logic.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2013.html#CerroHS13}, volume = 8148, year = 2013 }