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