FELIX

swMATH28618MaRDI QIDQ40332FDOQ40332

Author name not available (Why is that?)

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