The following pages link to (Q3497624):
Displaying 6 items.
- A formalization of the Knuth-Bendix(-Huet) critical pair theorem (Q616850) (← links)
- Confluence of orthogonal term rewriting systems in the prototype verification system (Q2362205) (← links)
- Formalizing Moessner's theorem and generalizations in \textsc{Nuprl} (Q2667184) (← links)
- (Q2985126) (← links)
- (Q4665735) (← links)
- (Q5013816) (← links)