Bianca Boretti

According to our database, Bianca Boretti authored at least 2 papers in 2009.

Collaborative distances:

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

2009

Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.

Bianca Boretti, Sara Negri

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Interactive storytelling in pre-school: a case-study.

Nicoletta Di Blas, Bianca Boretti

Proceedings of the Interaction Design and Children, 2009