MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Silvio Ghilardi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 14 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Path Rewriting and Combined Word Problems  
  • by Camillo Fiorentini, Silvio Ghilardi — 2000
  • …Path Rewriting and Combined Word Problems Camillo Fiorentini and Silvio Ghilardi Technical…
  • Add To MetaCart
  • Connecting many-sorted theories  
  • by Franz Baader, Silvio Ghilardi — 2007 — The Journal of Symbolic Logic
  • …Connecting many-sorted theories Franz Baader 1 and Silvio Ghilardi 2 1 Institut für Theoretische…
  • Cited by 12 (4 self) – Add To MetaCart
  • Conservative extensions in modal logics  
  • by Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev — 2006 — In Proceedings of AiML-6
  • …Conservative extensions in modal logic Silvio Ghilardi Carsten Lutz Frank Wolter Michael…
  • Cited by 2 (1 self) – Add To MetaCart
  • LTL over description logic axioms  
  • by Franz Baader, Silvio Ghilardi, Carsten Lutz — 2008 — In Proceedings of DL-08, CEUR Workshop Proceedings. CEUR-WS.org
  • …LTL over Description Logic Axioms Franz Baader ⋆ , Silvio Ghilardi, and Carsten Lutz 1 TU Dresden…
  • Cited by 2 (2 self) – Add To MetaCart
  • Decision Procedures for Extensions of the Theory of Arrays  
  • by Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli, S. Ghilardi, D. Zucchelli, E. Nicolini, E. Nicolini, S. Ranise, S. Ranise, Silvio Ghilardi Et Al — Annals of Mathematics and Artificial Intelligence
  • …AMAI manuscript No. (will be inserted by the editor) Silvio Ghilardi · Enrica Nicolini · Silvio…
  • Cited by 4 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB