Proof Terms for Term Rewriting

MaRDI QIDQ7361274FDO

Authors Christina Kirk

Publication date 13 April 2025

Cites work

• Formalizing almost development closed critical pairs (short paper)
• Four equivalent equivalences of reductions
• Unnamed Publication

This page was built for software: Proof Terms for Term Rewriting