%0 Conference Paper %1 conf/birthday/CerroPV12 %A del Cerro, Luis Fariñas %A Pearce, David %A Valverde, Agustín %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K dblp %P 265-278 %T Bi-state Logic. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#CerroPV12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/CerroPV12, added-at = {2017-05-23T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas and Pearce, David and Valverde, Agustín}, biburl = {https://www.bibsonomy.org/bibtex/2552b58cbb2a49199e883abfbb9e12dba/dblp}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_18}, interhash = {2e0824f5fcb318246021e570cbeab629}, intrahash = {552b58cbb2a49199e883abfbb9e12dba}, isbn = {978-3-642-30742-3}, keywords = {dblp}, pages = {265-278}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:14.000+0200}, title = {Bi-state Logic.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#CerroPV12}, volume = 7265, year = 2012 }