| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Guido Sciavicco Valentin Goranko , Angelo Montanari , Guido Sciavicco: A General Tableau Method for Propositional Interval Temporal Logics. TABLEAUX 2003 : 102-116 Massimo Franceschet , Angelo Montanari , Adriano Peron , Guido Sciavicco: Definability and decidability of binary predicates for time granularity. TIME 2003 : 192-202 Valentin Goranko , Angelo Montanari , Guido Sciavicco: Propositional Interval Neighborhood Temporal Logics. J. UCS 9 (9): 1137-1167 (2003) Angelo Montanari , Guido Sciavicco, Nicola Vitacolonna : Decidability of Interval Temporal Logics over Split-Frames via Granularity. JELIA 2002 : 259-270 1 [ 3 ] 2 [ 2 ] [ 4 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] 4 [ 3 ] 5 [ 1 ]  ©2004 Association for Computing Machinery |
