scientific article; zbMATH DE number 7359427

DOI10.4230/LIPIcs.FSCD.2018.31zbMath1462.68218MaRDI QIDQ4993363

Christina Kohl, Aart Middeldorp

Publication date: 15 June 2021

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

term rewritinginteractive toolproof terms

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items

Composing proof terms

Uses Software

• TPDB
• ProTeM

Cites Work

• Unnamed Item
• Unnamed Item
• Decreasing diagrams and relative termination
• Developing developments
• Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Proof Terms for Infinitary Rewriting