Sfoglia per Autore
Unification in intuitionistic logic
1999 S. Ghilardi
Combining word problems through rewriting in categories with products
2003 C. Fiorentini, S. Ghilardi
Unification, Finite Duality and Projectivity in Locally Finite Varieties of Heyting Algebras
2004 Silvio Ghilardi
Filtering Unification and Most General Unifiers in Modal Logic
2004 S. Ghilardi, L. Sacchetti
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic
2004 F. Baader, S. Ghilardi, C. Tinelli
Model Theoretic Methods in Combined Constraint Satisfiability
2004 S. Ghilardi
A Comprehensive Framework for Combining Decision Procedures
2005 S. Ghilardi, E. Nicolini, D. Zucchelli
Connecting many-sorted theories
2005 Franz Baader, Silvio Ghilardi
Connecting many-sorted structures and theories through adjoint functions
2005 Franz Baader, Silvio Ghilardi
A New Combination Procedure for the Word Problem that generalizes Fusion Decidability in Modal Logic
2006 F. Baader, S. Ghilardi, C. Tinelli
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies
2006 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
Conservative Extensions in Modal Logic
2006 S. Ghilardi, C. Lutz, F. Wolter, M. Zakharyaschev
Did I damage my Ontology ?
2006 S. Ghilardi, C. Lutz, F. Wolter
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
Connecting Many-Sorted Theories
2007 F. Baader, S. Ghilardi
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
First Order Modal Logic
2007 T. Brauner, S. Ghilardi
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
2007 S. Ghilardi, E. Nicolini, S. Ranise, D. Zucchelli
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