%0 Conference Paper %1 conf/mfcs/BachrachZWR10 %A Bachrach, Yoram %A Zuckerman, Michael %A Wooldridge, Michael J. %A Rosenschein, Jeffrey S. %B MFCS %D 2010 %E Hlinený, Petr %E Kucera, Antonín %I Springer %K dblp %P 78-89 %T Proof Systems and Transformation Games. %U http://dblp.uni-trier.de/db/conf/mfcs/mfcs2010.html#BachrachZWR10 %V 6281 %@ 978-3-642-15154-5

@inproceedings{conf/mfcs/BachrachZWR10, added-at = {2019-04-26T00:00:00.000+0200}, author = {Bachrach, Yoram and Zuckerman, Michael and Wooldridge, Michael J. and Rosenschein, Jeffrey S.}, biburl = {https://www.bibsonomy.org/bibtex/20ba3d6f0ce8e1f26b27c07d5721347f4/dblp}, booktitle = {MFCS}, crossref = {conf/mfcs/2010}, editor = {Hlinený, Petr and Kucera, Antonín}, ee = {https://doi.org/10.1007/978-3-642-15155-2_9}, interhash = {f930e97459fd7677d624f48cf3476c85}, intrahash = {0ba3d6f0ce8e1f26b27c07d5721347f4}, isbn = {978-3-642-15154-5}, keywords = {dblp}, pages = {78-89}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-31T11:41:19.000+0200}, title = {Proof Systems and Transformation Games.}, url = {http://dblp.uni-trier.de/db/conf/mfcs/mfcs2010.html#BachrachZWR10}, volume = 6281, year = 2010 }