Ambas obras abordan funciones computables en términos de complejidad, vinculando conceptos como la recursión y el crecimiento polinómico.
A term rewriting characterization of the polytime functions and related complexity classes
por Arnold Beckmann · 1996
Ver sugerenciasSinopsis
Este artículo desarrolla un marco de reescritura de términos para las funciones computables en tiempo polinómico, proveyendo caracterizaciones importantes en el ámbito de la complejidad computacional. [semanticscholar.org](https://www.semanticscholar.org/paper/A-term-rewriting-characterization-of-the-polytime-Beckmann-Weiermann/4de55de23fc733311b2ba664914739f9643c647d)
Sé el primero en valorar este libro.
Más de Arnold Beckmann
Ver autor →Otras obras del mismo autor en el catálogo
Exact bounds for lengths of reductions in typed λ-calculus
2001
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
2009
Parity Games and Propositional Proofs
2013
Safe Recursive Set Functions
2015
Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
2018
Cyber-Physical Trust Systems Driven by Blockchain
2020
KSPMI: A Knowledge-based System for Predictive Maintenance in Industry 4.0
2022
Libros similares
Libros relacionados según distintos criterios de búsqueda
El enfoque en límites de secuencias de reducción en el cálculo lambda tipado se relaciona estrechamente con la lógica matemática y la complejidad computacional.
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
Arnold Beckmann
2009·ciencia ficcion
Esta investigación analiza la jerarquía polinómica, conectando directamente con el desarrollo del marco de reescritura de términos en la referencia.
Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
Arnold Beckmann
2018·ciencia ficcion
El sistema de deducción natural presentado permite una comprensión profunda de la lógica, similar a la caracterización de complejidad en el texto original.
Ambos libros profundizan en la teoría de la complejidad computacional, ofreciendo perspectivas sobre problemas fundamentales y avances en el área.
La conexión entre juegos de paridad y lógica proposicional en este trabajo se relaciona con las interacciones complejas de computación y lógica discutidas en la referencia.