| 2007 |
|---|
| 6 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Guido Sciavicco:
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics.
LFCS 2007: 84-99 |
| 5 | EE | Davide Bresolin,
Angelo Montanari,
Pietro Sala:
An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic.
STACS 2007: 549-560 |
| 4 | EE | Davide Bresolin,
Valentin Goranko,
Angelo Montanari,
Pietro Sala:
Tableau Systems for Logics of Subinterval Structures over Dense Orderings.
TABLEAUX 2007: 73-89 |
| 3 | EE | Davide Bresolin,
Angelo Montanari,
Guido Sciavicco:
An Optimal Decision Procedure for Right Propositional Neighborhood Logic.
J. Autom. Reasoning 38(1-3): 173-199 (2007) |
| 2005 |
|---|
| 2 | EE | Davide Bresolin,
Angelo Montanari:
A Tableau-Based Decision Procedure for Right Propositional Neighborhood Logic.
TABLEAUX 2005: 63-77 |
| 2004 |
|---|
| 1 | EE | Davide Bresolin,
Angelo Montanari,
Gabriele Puppis:
Time Granularities and Ultimately Periodic Automata.
JELIA 2004: 513-525 |
