Pietro Sala PhD

Post-Doc Researcher
Department of Computer Science
Strada le Grazie 15 - 37134 Verona, Italy
Floor 1, Room 1.80


  • D. Bresolin, A. Montanari, and P. Sala, “An optimal tableau for Right Propositional Neighborhood Logic over Trees,” in 15th International Symposium on Temporal Representation and Reasoning, {TIME} 2008, Universite du Quebec a Montreal, Canada, 16-18 June 2008, 2008, pp. 110–117 [Online]. Available at: http://dx.doi.org/10.1109/TIME.2008.17
  • D. Bresolin, A. Montanari, P. Sala, and G. Sciavicco, “Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders,” in Logics in Artificial Intelligence, 11th European Conference, {JELIA} 2008, Dresden, Germany, September 28 - October 1, 2008. Proceedings, 2008, pp. 62–75 [Online]. Available at: http://dx.doi.org/10.1007/978-3-540-87803-2_7