Opening book details…
About this scholarly article
Sprague-Grundy theory in bounded arithmetic by Kuroda, Satoru is a scholarly article available to read on EtoBox.
- Author
- Kuroda, Satoru
- Published
- 2016
- Language
- EN
Opening book details…
Sprague-Grundy theory in bounded arithmetic by Kuroda, Satoru is a scholarly article available to read on EtoBox.
English2016
In this paper, we formalize Sprague-Grundy theory for combinatorial games in bounded arithmetic. We show that in the presence of Sprague-Grundy numbers, a fairly weak axioms capture PSPACE.