On multiset ordering

DOI10.1515/FORMA-2016-0008zbMATH Open1352.06004OpenAlexW2563535279MaRDI QIDQ502679FDOQ502679

Authors: 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

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

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

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

Cited In (3)

• Title not available (Why is that?)
• 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)