On multiset ordering

DOI10.1515/FORMA-2016-0008MaRDI QIDQ502679zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

Publication date 6 January 2017

Published in Formalized Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution-ShareAlike 3.0 Unported

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)

Recommendations

• Partial orderings for sets of multisets
• A geometrical approach to multiset orderings
• Extension functions for multiset orderings
• Multi-ordered posets
• Orders on multisets and discrete cones
• scientific article; zbMATH DE number 4208150
• Filtering algorithms for the multiset ordering constraint
• ON MULTIPLIERS OF PARTIALLY ORDERED SETS
• On set counting and ordering
• Ordered sets

Cites work

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

Cited in

(3)

• scientific article; zbMATH DE number 3888730 (Why is no real title available?)
• Order matters when choosing sets
• Sorting multisets stably in minimum space

This page was built for publication: On multiset ordering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q502679)