Sprague-Grundy theory in bounded arithmetic
type: Item
instance of: scholarly article
title: Sprague-Grundy theory in bounded arithmetic
author: Satoru Kuroda
published in: Archive for Mathematical Logic
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 03F20
zbMATH DE Number: 7495461
zbMATH Keywords: bounded arithmetic
zbMATH Keywords: combinatorial games
zbMATH Keywords: alternating Turing machine
zbMATH Keywords: polynomial space
MaRDI profile type: Publication
full work available at URL: s00153-021-00790-7
OpenAlex ID: W3184206548
cites work: Q3794177
cites work: Logical Foundations of Proof Complexity
cites work: Q4489064
cites work: On the complexity of some two-person perfect-information games
cites work: Combinatorial game theory
cites work: On the complexity of computing winning strategies for finite poset games
DOI: 10.1007/S00153-021-00790-7
description: scientific article; zbMATH DE number 7495461