CS Seminar: Carla Piazza, April 18, 2000
Dipartimento di Matematica e Informatica,
Università di Udine, Italy.
- Date and Time
Tuesday, April 18, 2000 at 11:00
Dipartimento di Matematica,
Università di Parma,
Via D'Azeglio 85/A,
Comparing Expressiveness of Set Constructor Symbols
In this talk 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.
- Contact Person
[Page last updated on February 22, 2002, 15:16:33.]