Sfoglia per Autore
Mostrati risultati da 1 a 11 di 11
Helios: a general framework for ontology-based knowledge sharing and evolution in P2P systems
2003 S. Castano, A. Ferrara, S. Montanelli, D. Zucchelli
A Comprehensive Framework for Combining Decision Procedures
2005 S. Ghilardi, E. Nicolini, D. Zucchelli
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
2006 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-based Decision Procedures
2006 M.P. Bonacina, S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Recent Advances in Combined Decision Problems
2006 S. Ghilardi, E. Nicolini, D. Zucchelli
Noetherianity and Combination Problems
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Decision Procedures for Extensions of the Theory of Arrays
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Combination Methods for Software Verification
2008 D. Zucchelli
Towards SMT Model-Checking of Array-based Systems
2008 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
A comprehensive combination framework
2008 S. Ghilardi, E. Nicolini, D. Zucchelli
Mostrati risultati da 1 a 11 di 11
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