| 2009 |
|---|
| 6 | EE | Davide 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 |
|---|
| 5 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala,
Guido Sciavicco:
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders.
JELIA 2008: 62-75 |
| 4 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An optimal tableau for Right Propositional Neighborhood Logic over Trees.
TIME 2008: 110-117 |
| 2007 |
|---|
| 3 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
STACS 2007: 549-560 |
| 2 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
TABLEAUX 2007: 73-89 |
| 2006 |
|---|
| 1 | EE | Valentin 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) |
