A Radoaca - 2015 17th International Symposium on Symbolic …, 2015 - ieeexplore.ieee.org
We present some properties of multisets comparedto sets, regarding the relations and
operations between multisets, in an attempt to simplify the analysis of multisets. We …