cs@parma

Home

People

Projects

Publications

Seminars

Software

Links

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.]

Page maintained by
Enea Zaffanella

Home | People | Projects | Publications | Seminars | Software | Links