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-Based Decision Algorithm for Propositional Neighborhood Logic,” in {STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007, Proceedings, 2007, pp. 549–560 [Online]. Available at: http://dx.doi.org/10.1007/978-3-540-70918-3_47
  • D. Bresolin, V. Goranko, A. Montanari, and P. Sala, “Tableau Systems for Logics of Subinterval Structures over Dense Orderings,” in Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, {TABLEAUX} 2007, Aix en Provence, France, July 3-6, 2007, Proceedings, 2007, pp. 73–89 [Online]. Available at: http://dx.doi.org/10.1007/978-3-540-73099-6_8