On multiset ordering

DOI10.1515/FORMA-2016-0008zbMath1352.06004OpenAlexW2563535279MaRDI QIDQ502679

Grzegorz Bancerek

Publication date: 6 January 2017

Published in: Formalized Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1515/forma-2016-0008

zbMATH Keywords

orderingDershowitz-Manna ordering

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Ordered sets (06A99) Theory of computing (68Q99)

Cites Work

• Introduction to formal preference spaces
• Orderings for term-rewriting systems
• On multiset orderings
• Semantics of MML Query - Ordering
• Proving termination with multiset orderings

This page was built for publication: On multiset ordering