Paola Benassi

According to our database, Paola Benassi authored at least 3 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1999

TRUSTe: An Online Privacy Seal Program.

Paola Benassi

Commun. ACM, 1999

1996

Labelled Proofs for Quantified Modal Logic.

Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.

Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo

Proceedings of the Advances in Modal Logic 1, 1996