Infinite chess: the mate-in-n problem is decidable and the omega-one of chess

To upload material, you must first log in.