A Rewrite System for Proof Constructivization Article Swipe
Related Concepts
Mathematical proof
Automated theorem proving
Rewriting
Gas meter prover
Computer science
Proof theory
Proof complexity
Proof assistant
Heuristics
Constructive proof
Constructive
Computer-assisted proof
Automated reasoning
Calculus (dental)
Automated proof checking
Programming language
Theoretical computer science
Mathematics
Discrete mathematics
Process (computing)
Medicine
Dentistry
Geometry
Operating system
Raphaël Cauderlier
·
YOU?
·
· 2016
· Open Access
·
· DOI: https://doi.org/10.1145/2966268.2966270
· OA: W2510622047
YOU?
·
· 2016
· Open Access
·
· DOI: https://doi.org/10.1145/2966268.2966270
· OA: W2510622047
International audience
Related Topics
Finding more related topics…