Recommendations
Cites work
- scientific article; zbMATH DE number 1678386 (Why is no real title available?)
- scientific article; zbMATH DE number 3635472 (Why is no real title available?)
- A geometrical approach to multiset orderings
- Extension functions for multiset orderings
- On multiset orderings
- On termination of meta-programs
- Orderings for term-rewriting systems
- Proving termination with multiset orderings
- Termination of rewriting
- The order types of termination orderings on monadic terms, strings and multisets
This page was built for publication: Leanest quasi-orderings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q876045)