Extension functions for multiset orderings

DOI10.1016/0020-0190(87)90003-2zbMath0647.06005OpenAlexW1997409938WikidataQ55393333 ScholiaQ55393333MaRDI QIDQ1104349

Ursula Martin Webb

Publication date: 1987

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(87)90003-2

zbMATH Keywords

term-rewriting systemsprogram terminationbagmultiset orderingordered multisettermination ordering

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Ordered sets (06A99)

Related Items (3)

Termination of rewriting ⋮ A geometrical approach to multiset orderings ⋮ Leanest quasi-orderings

Cites Work

• Termination of rewriting
• On multiset orderings
• Proving termination with multiset orderings

This page was built for publication: Extension functions for multiset orderings