%0 Conference Paper %1 conf/galop/BerardiCH05 %A Berardi, Stefano %A Coquand, Thierry %A Hayashi, Susumu %B GALOP@ETAPS %D 2005 %E Ghica, Dan R. %E McCusker, Guy %K dblp %P 210-225 %T Games with 1-backtracking. %U http://dblp.uni-trier.de/db/conf/galop/galop2005.html#BerardiCH05

@inproceedings{conf/galop/BerardiCH05, added-at = {2020-06-25T00:00:00.000+0200}, author = {Berardi, Stefano and Coquand, Thierry and Hayashi, Susumu}, biburl = {https://www.bibsonomy.org/bibtex/26aef0d0cd87061cc53733ed9afa5178a/dblp}, booktitle = {GALOP@ETAPS}, crossref = {conf/galop/2005}, editor = {Ghica, Dan R. and McCusker, Guy}, interhash = {3b17c73caa690f91d970a70cc6b6eebd}, intrahash = {6aef0d0cd87061cc53733ed9afa5178a}, keywords = {dblp}, pages = {210-225}, timestamp = {2020-06-26T11:39:28.000+0200}, title = {Games with 1-backtracking.}, url = {http://dblp.uni-trier.de/db/conf/galop/galop2005.html#BerardiCH05}, year = 2005 }