%0 Conference Paper %1 conf/lpnmr/HarrisonLPV15 %A Harrison, Amelia %A Lifschitz, Vladimir %A Pearce, David %A Valverde, Agustín %B LPNMR %D 2015 %E Calimeri, Francesco %E Ianni, Giovambattista %E Truszczynski, Miroslaw %I Springer %K dblp %P 398-410 %T Infinitary Equilibrium Logic and Strong Equivalence. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#HarrisonLPV15 %V 9345 %@ 978-3-319-23263-8

@inproceedings{conf/lpnmr/HarrisonLPV15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Harrison, Amelia and Lifschitz, Vladimir and Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/20caa00bb19df0a32d78df8b12cedd928/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2015}, editor = {Calimeri, Francesco and Ianni, Giovambattista and Truszczynski, Miroslaw}, ee = {https://doi.org/10.1007/978-3-319-23264-5_33}, interhash = {c6f2489fd6ed8a1f1efe3d62ce3facae}, intrahash = {0caa00bb19df0a32d78df8b12cedd928}, isbn = {978-3-319-23263-8}, keywords = {dblp}, pages = {398-410}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-06-04T12:48:36.000+0200}, title = {Infinitary Equilibrium Logic and Strong Equivalence.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2015.html#HarrisonLPV15}, volume = 9345, year = 2015 }