Ghilardi, Silvio.
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Silvio Ghilardi Italian researcher
VIAF ID: 38730376 (Personal)
Permalink: http://viaf.org/viaf/38730376
Preferred Forms
-
100 1 _ ‡a Ghilardi, Silvio
-
100 1 _ ‡a Ghilardi, Silvio
-
100 1 _ ‡a Ghilardi, Silvio
-
100 1 _
‡a
Ghilardi, Silvio
-
100 1 _ ‡a Ghilardi, Silvio
-
100 1 _ ‡a Ghilardi, Silvio
-
100 1 _
‡a
Ghilardi, Silvio
-
100 1 _ ‡a Ghilardi, Silvio
-
100 1 _
‡a
Ghilardi, Silvio
-
100 1 _
‡a
Ghilardi, Silvio
-
100 1 _ ‡a Ghilardi, Silvio.
-
100 0 _
‡a
Silvio Ghilardi
‡c
Italian researcher
4xx's: Alternate Name Forms (3)
Works
| Title | Sources |
|---|---|
| Advances in modal logic. [9ème conférence, Copenhague, 22-25 août 2012] |
|
| Combination methods for software verification = Méthodes de combinaison pour la vérification de logiciels |
|
| Connecting many-sorted theories |
|
| Constructive canonicity in non-classical logics |
|
| Frontiers of combining systems : 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings |
|
| Grothendieck topologies on finite algebras / Silvio Ghilardi, Marek Zawadowski. - Warsaw, 1997. |
|
| LTL over description logic axioms |
|
| Model completions of equational theories arising from logic |
|
| Monotone Modal Logic and Friends |
|
| A new combination procedure for the word problem that generalizes fusion decidability results in modal logics |
|
| Relational and partial variable sets and basic predicate logic |
|
| Sheaves, games, and model completions, 2002: |
|
| Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista |
|
| Unification and projectivity in propositional logic |
|
