Pietro Sala PhD

pietro.sala@univr.it
Med
Post-Doc Researcher
Department of Computer Science
Strada le Grazie 15 - 37134 Verona, Italy
Floor 1, Room 1.80
Med

Publications

  • V. Goranko, A. Montanari, P. Sala, and G. Sciavicco, “A general tableau method for propositional interval temporal logics: Theory and implementation,” J. Applied Logic, vol. 4, no. 3, pp. 305–330, 2006 [Online]. Available at: http://dx.doi.org/10.1016/j.jal.2005.06.012