Search Results - Ghilardi, Silvio

Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics / by Ghilardi, Silvio

Sheaves, Games, and Model Completions : a Categorial Approach to Nonclassical Propositional Logics / by Ghilardi, Silvio

Full Text (via Springer)

Frontiers of Combining Systems 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings /

Other Authors: “…Ghilardi, Silvio…”
Full Text (via Springer)

Computer Aided Verification 24th International conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /

“…Bruttomesso, Silvio Ghilardi, Silvio Ranise and Natasha Sharygina --…”
Full Text (via Springer)