A term rewriting characterization of the polytime functions and related complexity classes
por Arnold Beckmann · 1996
Sinopsis
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