SAEPTUM

swMATH28617MaRDI QIDQ40331FDOQ40331

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: SAEPTUM