Pages that link to "Item:Q5178962"

The following pages link to A PVS Theory for Term Rewriting Systems (Q5178962):

Displaying 2 items.

• A formalization of the Knuth-Bendix(-Huet) critical pair theorem (Q616850) (← links)
• Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)