por Arnold Beckmann · 2015
Ver sugerenciasSinopsis
Esta investigación analiza las funciones recursivas seguras sobre conjuntos, estableciendo conexiones con las funciones de crecimiento polinómico y las máquinas de Turing. [semanticscholar.org](https://www.semanticscholar.org/paper/SAFE-RECURSIVE-SET-FUNCTIONS-Beckmann-Buss/139762e64a3c895deba2f36ff6390e44d64ad068)
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1996
2001
2009
2013
2018
2020
2022
Libros relacionados según distintos criterios de búsqueda
Arnold Beckmann
1996·ciencia ficcion
Ambos textos abordan la complejidad computacional, pero Beckmann utiliza funciones recursivas seguras para investigar límites en el crecimiento polinómico.
Arnold Beckmann
2009·ciencia ficcion
Esta obra también examina la complejidad computacional, centrándose en la búsqueda local polinómica y sus relaciones con la aritmética acotada.
El análisis de límites en el cálculo lambda tipado en este artículo refleja el enfoque de Beckmann sobre funciones recursivas y sus implicaciones.
Beckmann explora la relación entre teoría de juegos y lógica proposicional, similar al enfoque de funciones recursivas en términos de complejidad.
Hartmanis ofrece perspectivas sobre computaciones factibles, un tema que se encuentra en la investigación de funciones recursivas y su complejidad.
La colectividad de ensayos en esta obra analiza conexiones en teoría de la complejidad, un aspecto que también es fundamental en la obra de Beckmann.
