The following pages link to On multiset orderings (Q1165004):
Displaying 12 items.
- On multiset ordering (Q502679) (← links)
- Leanest quasi-orderings (Q876045) (← links)
- Equational completion in order-sorted algebras (Q912606) (← links)
- Termination of rewriting (Q1098624) (← links)
- Path of subterms ordering and recursive decomposition ordering revisited (Q1099655) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Extension functions for multiset orderings (Q1104349) (← links)
- On termination of the direct sum of term-rewriting systems (Q1108785) (← links)
- A geometrical approach to multiset orderings (Q1119955) (← links)
- What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory (Q1182475) (← links)
- Confluence by decreasing diagrams (Q1322164) (← links)
- A verified implementation of algebraic numbers in Isabelle/HOL (Q2303244) (← links)
