por Arnold Beckmann · 2009
Ver sugerenciasSinopsis
Esta obra explora la búsqueda local polinómica dentro de la jerarquía polinómica, con implicaciones para la aritmética acotada y la demostración de teoremas. [csauthors.net](https://www.csauthors.net/arnold-beckmann/)
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1996
2001
2013
2015
2018
2020
2022
Libros relacionados según distintos criterios de búsqueda
Arnold Beckmann
1996·ciencia ficcion
Ambos trabajos abordan la complejidad computacional, ofreciendo perspectivas sobre funciones polinómicas y su caracterización dentro de marcos teóricos.
Arnold Beckmann
2018·ciencia ficcion
Este artículo examina sistemas de deducción lógica paralela, reflejando el interés en la estructura lógica que también se encuentra en la aritmética acotada.
La investigación sobre funciones recursivas seguras explora vínculos con el crecimiento polinómico, similar a la búsqueda local en jerarquías computacionales.
El estudio de juegos de paridad y pruebas proposicionales se alinea con el análisis de complejidad, un tema central en la obra de referencia.
Este trabajo aborda límites en la reducción del cálculo lambda, resaltando conexiones con la lógica matemática presente en el libro de Beckmann.
La monografía de Hartmanis complementa la discusión sobre computación factible y complejidad, resonando con las preocupaciones de aritmética acotada en el libro.
