Sfoglia per Autore
Mostrati risultati da 1 a 5 di 5
Time Granularities and Ultimately Periodic Automata
2004-01-01 Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic
2005-01-01 Bresolin, Davide; Montanari, Angelo
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic
2007-01-01 Bresolin, Davide; Montanari, Angelo; Sala, Pietro
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
2007-01-01 Bresolin, Davide; Goranko, V; Montanari, Angelo; Sciavicco, G.
Reachability computation for hybrid systems with Ariadne
2008-01-01 Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Time Granularities and Ultimately Periodic Automata | 1-gen-2004 | Bresolin, Davide; Montanari, Angelo; Puppis, Gabriele | |
A Tableau-based Decision Procedure for Right Propositional Neighborhood Logic | 1-gen-2005 | Bresolin, Davide; Montanari, Angelo | |
An Optimal Tableau-based Decision Algorithm for Propositional Neighborhood Logic | 1-gen-2007 | Bresolin, Davide; Montanari, Angelo; Sala, Pietro | |
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics | 1-gen-2007 | Bresolin, Davide; Goranko, V; Montanari, Angelo; Sciavicco, G. | |
Reachability computation for hybrid systems with Ariadne | 1-gen-2008 | Benvenuti, Luca; Bresolin, Davide; Casagrande, Alberto; Collins, Pieter; Ferrari, Alberto; Mazzi, Emanuele; Sangiovanni-Vincentelli, Alberto; Villa, Tiziano |
Mostrati risultati da 1 a 5 di 5
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