FELIX

swMATH28618MaRDI QIDQ40332FDOQ40332

Author name not available (Why is that?)

Cited In (2)

• A PVS Theory for Term Rewriting Systems
• A formalization of the Knuth-Bendix(-Huet) critical pair theorem

This page was built for software: FELIX