ListarCiencias de la Computación e Inteligencia Artificial por materia "Ramsey theorem"
Mostrando ítems 1-1 de 1
-
Artículo
Algebraic combinatorics in bounded induction
(Elsevier, 2021)In this paper, new methods for analyzing models of weak subsystems of Peano Arithmetic are proposed. The focus will be on ...