%0 Journal Article %1 journals/apal/BerardiCH10 %A Berardi, Stefano %A Coquand, Thierry %A Hayashi, Susumu %D 2010 %J Ann. Pure Appl. Log. %K dblp %N 10 %P 1254-1269 %T Games with 1-backtracking. %U http://dblp.uni-trier.de/db/journals/apal/apal161.html#BerardiCH10 %V 161

@article{journals/apal/BerardiCH10, added-at = {2020-02-21T00:00:00.000+0100}, author = {Berardi, Stefano and Coquand, Thierry and Hayashi, Susumu}, biburl = {https://www.bibsonomy.org/bibtex/2cec85fc4140e11ed20e2460fba7798d1/dblp}, ee = {https://doi.org/10.1016/j.apal.2010.03.002}, interhash = {07b78f271a44806c4071f4ca66500d04}, intrahash = {cec85fc4140e11ed20e2460fba7798d1}, journal = {Ann. Pure Appl. Log.}, keywords = {dblp}, number = 10, pages = {1254-1269}, timestamp = {2020-02-22T12:47:57.000+0100}, title = {Games with 1-backtracking.}, url = {http://dblp.uni-trier.de/db/journals/apal/apal161.html#BerardiCH10}, volume = 161, year = 2010 }