Sprague-Grundy theory in bounded arithmetic.

Published in: Arch. Math. Log. (2022)

Keyphrases

theoretical framework
theoretical basis
formal theory
data sets
machine learning
image processing
multiscale
information technology
data model
query language
computational model
asymptotically optimal
arithmetic operations