First-Order Rewriting

MaRDI QIDQ7361314FDO

Authors René Thiemann, Christian Sternagel, Christina Kirk, Martin Avanzini, Bertram Felgenhauer, Julian Nagele, Thomas Sternagel, Sarah Winkler, Akihisa Yamada

Publication date 13 April 2025

Cites work

• Certification of Termination Proofs Using CeTA
• Unnamed Publication

Cited in

(3)

• First-Order Theory of Rewriting
• Reducing Rewrite Properties to Properties on Ground Terms
• Proof Terms for Term Rewriting

This page was built for software: First-Order Rewriting