FELIX
From MaRDI portal
Software:40332
Author name not available (Why is that?)
Related Items (2)
A formalization of the Knuth-Bendix(-Huet) critical pair theorem ⋮ A PVS Theory for Term Rewriting Systems
This page was built for software: FELIX