On multiset ordering
From MaRDI portal
Publication:502679
DOI10.1515/FORMA-2016-0008zbMath1352.06004OpenAlexW2563535279MaRDI QIDQ502679
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
Mechanization of proofs and logical operations (03B35) Ordered sets (06A99) Theory of computing (68Q99)
Cites Work
This page was built for publication: On multiset ordering