Pages that link to "Item:Q857884"
From MaRDI portal
The following pages link to An effective proof of the well-foundedness of the multiset path ordering (Q857884):
Displaying 3 items.
- Coq formalization of the higher-order recursive path ordering (Q843949) (← links)
- An effective proof of the well-foundedness of the multiset path ordering (Q857884) (← links)
- CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates (Q3094178) (← links)
