dblp.uni-trier.dewww.uni-trier.de

Pietro Sala

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
6EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings. Electr. Notes Theor. Comput. Sci. 231: 131-151 (2009)
2008
5EEDavide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders. JELIA 2008: 62-75
4EEDavide Bresolin, Angelo Montanari, Pietro Sala: An optimal tableau for Right Propositional Neighborhood Logic over Trees. TIME 2008: 110-117
2007
3EEDavide Bresolin, Angelo Montanari, Pietro Sala: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic. STACS 2007: 549-560
2EEDavide Bresolin, Valentin Goranko, Angelo Montanari, Pietro Sala: Tableau Systems for Logics of Subinterval Structures over Dense Orderings. TABLEAUX 2007: 73-89
2006
1EEValentin Goranko, Angelo Montanari, Pietro Sala, Guido Sciavicco: A general tableau method for propositional interval temporal logics: Theory and implementation. J. Applied Logic 4(3): 305-330 (2006)

Coauthor Index

1Davide Bresolin [2] [3] [4] [5] [6]
2Valentin Goranko [1] [2] [6]
3Angelo Montanari [1] [2] [3] [4] [5] [6]
4Guido Sciavicco [1] [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)