Pages that link to "Item:Q2958390"
From MaRDI portal
The following pages link to Formalizing Knuth-Bendix Orders and Knuth-Bendix Completion (Q2958390):
Displayed 7 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Certified equational reasoning via ordered completion (Q2305436) (← links)
- Certified Kruskal’s Tree Theorem (Q2938047) (← links)
- (Q2985126) (← links)
- A Mechanized Proof of Higman’s Lemma by Open Induction (Q3295156) (← links)
- (Q5111315) (← links)
- Order Reconfiguration under Width Constraints (Q6075707) (← links)