Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 67
Titolo Data di pubblicazione Autore(i) File
Time granularities and ultimately periodic automata 1-gen-2003 Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis
Time Granularities and Ultimately Periodic Automata 1-gen-2004 Bresolin, Davide; Angelo, Montanari; Gabriele, Puppis
A tableau-based decision procedure for right propositional neighborhood logic 1-gen-2005 Bresolin, Davide; Angelo, Montanari
A Tableau-based decision procedure for Right Propositional Neighborhood Logic 1-gen-2005 Bresolin, Davide; Angelo, Montanari
A tableau-based decision procedure for a branching-time interval temporal logic 1-gen-2005 Bresolin, Davide; Angelo, Montanari
Relational dual tableaux for interval temporal logics 1-gen-2006 Bresolin, Davide; Joanna Golinska, Pilarek; Ewa, Orlowska
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 1-gen-2006 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics 1-gen-2007 Bresolin, Davide; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
An optimal decision procedure for Right Propositional Neighborhood Logic 1-gen-2007 Bresolin, Davide; Angelo, Montanari; Guido, Sciavicco
Proof methods for Interval Temporal Logics 1-gen-2007 Bresolin, Davide
An optimal tableau-based decision algorithm for Propositional Neighborhood Logic 1-gen-2007 Bresolin, Davide; Angelo, Montanari; Sala, Pietro
Tableau Systems for Logics of Subinterval Structures over Dense Orderings 1-gen-2007 Bresolin, Davide; Valentin, Goranko; Angelo, Montanari; Sala, Pietro
Decidable and Undecidable Fragments of Halpern and Shoham's Interval Temporal Logic: Towards a Complete Classification 1-gen-2008 Bresolin, Davide; D., Della Monica; V., Goranko; A., Montanari; G., Sciavicco
Reachability computation for hybrid systems with Ariadne 1-gen-2008 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 1-gen-2008 Bresolin, Davide; A., Montanari; Sala, Pietro; G., Sciavicco
Optimal tableau for Right Propositional Neighborhood Logic over trees 1-gen-2008 Bresolin, Davide; A., Montanari; Sala, Pietro
Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval Lengths 1-gen-2009 Bresolin, Davide; Goranko, V.; Montanari, A.; Sciavicco, G.
Propositional Interval Neighborhood Logics: Expressiveness, Decidability, and Undecidable Extensions 1-gen-2009 Bresolin, Davide; V., Goranko; A., Montanari; G., Sciavicco
A Theory of Ultimately Periodic Languages and Automata with an Application to Time Granularity 1-gen-2009 Bresolin, Davide; A., Montanari; G., Puppis
Undecidability of interval temporal logics with the overlap modality 1-gen-2009 Bresolin, Davide; Dario Della, Monica; Valentin, Goranko; Angelo, Montanari; Guido, Sciavicco
Mostrati risultati da 1 a 20 di 67
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