Sciweavers

Share
AGP
1999
IEEE

Comparing expressiveness of set constructor symbols

9 years 1 months ago
Comparing expressiveness of set constructor symbols
In this paper we consider the relative expressive power of two very common operators applicable to sets and multisets: the with and the union operators. For such operators we prove that they are not mutually expressible by means of existentially quantified formulae. In order to prove our results, canonical forms for set-theoretic and multiset-theoretic formulae are established and a particularly natural axiomatization of multisets is given and studied. Keywords. Sets and Multisets Theory, Unification, Constraints.
Agostino Dovier, Carla Piazza, Alberto Policriti
Added 02 Aug 2010
Updated 02 Aug 2010
Type Conference
Year 1999
Where AGP
Authors Agostino Dovier, Carla Piazza, Alberto Policriti
Comments (0)
books