Translating between implicit and explicit versions of proof

DOI10.1007/978-3-319-63046-5_16zbMath1496.03039OpenAlexW2735044928MaRDI QIDQ2405254

Roberto Blanco, Zakaria Chihani, Dale A. Miller

Publication date: 22 September 2017

Full work available at URL: https://hal.inria.fr/hal-01645016/file/cade2017.pdf

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (3)

A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Towards substructural property-based testing ⋮ Implementing type theory in higher order constraint logic programming

This page was built for publication: Translating between implicit and explicit versions of proof