FELIX

MaRDI QIDQ40332swMATHFDO

Official website https://ieeexplore.ieee.org/document/1515694

Cited in

(3)

• A formalization of the Knuth-Bendix(-Huet) critical pair theorem
• SAEPTUM
• A PVS theory for term rewriting systems

This page was built for software: FELIX