Export Citations
1 Results for: Keyword: Foundational proof certificates
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,774,283 records)|Limit your search to The ACM Full-Text Collection (760,995 records)
- articleOctober 2017
A Semantic Framework for Proof Evidence
Journal of Automated Reasoning (JAUR), Volume 59, Issue 3Pages 287–330https://doi.org/10.1007/s10817-016-9380-6Theorem provers produce evidence of proof in many different formats, such as proof scripts, natural deductions, resolution refutations, Herbrand expansions, and equational rewritings. In implemented provers, numerous variants of such formats are ...