Composing proof terms

DOI10.1007/978-3-030-29436-6_20OpenAlexW2969720931MaRDI QIDQ2305425

Aart Middeldorp, Christina Kohl

Publication date: 10 March 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-29436-6_20

zbMATH Keywords

term rewritingautomationproof terms

Mathematics Subject Classification ID

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

Related Items (1)

ProTeM

Cites Work

• Decreasing diagrams and relative termination
• Conditional rewriting logic as a unified model of concurrency
• Rewriting logic: Roadmap and bibliography
• Term Rewriting and All That
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Composing proof terms