Sfoglia per Autore
Time granularities and ultimately periodic automata
2003-01-01 Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis
Time Granularities and Ultimately Periodic Automata
2004-01-01 Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis
A tableau-based decision procedure for right propositional neighborhood logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A Tableau-based decision procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
A tableau-based decision procedure for a branching-time interval temporal logic
2005-01-01 Bresolin, Davide; Angelo, Montanari
Relational dual tableaux for interval temporal logics
2006-01-01 Bresolin, Davide; Joanna Golinska, Pilarek; Ewa, Orlowska
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2006-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
2007-01-01 Bresolin, Davide; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
An optimal decision procedure for Right Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
Proof methods for Interval Temporal Logics
2007-01-01 Bresolin, Davide
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Tableau Systems for Logics of Subinterval Structures over Dense Orderings
2007-01-01 Bresolin, Davide; Valentin, Goranko; Angelo, Montanari; Sala, Pietro
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification
2008-01-01 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
Reachability computation for hybrid systems with Ariadne
2008-01-01 L., Benvenuti; Bresolin, Davide; A., Casagrande; P., Collins; A., Ferrari; E., Mazzi; A., Sangiovanni Vincentelli; Villa, Tiziano
Optimal tableaux for Right Propositional Neighborhood Logic over Linear Orders
2008-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Optimal tableau for Right Propositional Neighborhood Logic over trees
2008-01-01 Bresolin, Davide; A., Montanari; Sala, Pietro
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths
2009-01-01 Bresolin, Davide; Goranko, V.; Montanari, A.; Sciavicco, G.
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions
2009-01-01 Bresolin, Davide; V., Goranko; A., Montanari; G., Sciavicco
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity
2009-01-01 Bresolin, Davide; A., Montanari; G., Puppis
Undecidability of interval temporal logics with the overlap modality
2009-01-01 Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile