[Retros] The mate-in-n problem of infinite chess is decidable
Andrew Buchanan
andrew at anselan.com
Mon Jan 6 09:56:27 EST 2014
See the following link for the paper:
http://arxiv.org/abs/1201.5597
Cheers,
Andrew.
More information about the Retros
mailing list