Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
por Arnold Beckmann · 2009
Sinopsis
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.
Más de Arnold Beckmann
Ver autor →Otras obras del mismo autor en el catálogo
A term rewriting characterization of the polytime functions and related complexity classes
1996
Exact bounds for lengths of reductions in typed λ-calculus
2001
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