Parity Games and Propositional Proofs
por Arnold Beckmann · 2013
Sinopsis
Este trabajo conecta los juegos de paridad con los sistemas de prueba proposicional, explorando la automatización de pruebas y la separación de fórmulas. [eccc.weizmann.ac.il](https://eccc.weizmann.ac.il/report/2013/092)
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
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
2009
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