The logical basis for computer programming. Volume 1: deductive reasoning
The logical basis for computer programming. Volume 1: deductive reasoning
A uniform axiomatic view of lists, multisets, and sets, and the relevant unification algorithms
Fundamenta Informaticae
Journal of Computer and System Sciences
Rough Sets: Theoretical Aspects of Reasoning about Data
Rough Sets: Theoretical Aspects of Reasoning about Data
Toward a Formal Macroset Theory
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
| Hi-index | 0.00 |
A multiset involves an equivalence relation between the copies of the same element. However, in many cases the binary relation relating an element to its copies is not exactly an equivalence one, but a weaker relation, in most cases a tolerance (i.e., reflexive and symmetric) relation, leading to a natural extension of multisets: tolerance multisets.