


Остановите войну!
for scientists:
Silvio Ghilardi
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [j58]Silvio Ghilardi
, Alessandro Gianola
, Marco Montali
, Andrey Rivkin:
Petri net-based object-centric processes with read-only data. Inf. Syst. 107: 102011 (2022) - [j57]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Uniform Interpolants in EUF: Algorithms using DAG-representations. Log. Methods Comput. Sci. 18(2) (2022) - [i19]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur, Chiara Naso:
General Interpolation and Strong Amalgamation for Contiguous Arrays. CoRR abs/2204.11771 (2022) - 2021
- [j56]Silvio Ghilardi
, Elena Pagani
:
Higher-Order Quantifier Elimination, Counter Simulations and Fault-Tolerant Systems. J. Autom. Reason. 65(3): 425-460 (2021) - [j55]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Model Completeness, Uniform Interpolants and Superposition Calculus. J. Autom. Reason. 65(7): 941-969 (2021) - [c60]Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN. BPM 2021: 179-196 - [c59]Silvio Ghilardi
, Alessandro Gianola
, Deepak Kapur
:
Interpolation and Amalgamation for Arrays with MaxDiff. FoSSaCS 2021: 268-288 - [c58]José Abel Castellanos Joo, Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. SMT 2021: 40-52 - 2020
- [j54]Diego Calvanese, Silvio Ghilardi
, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. Math. Struct. Comput. Sci. 30(3): 271-313 (2020) - [j53]Silvio Ghilardi
, Luigi Santocanale:
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. Math. Struct. Comput. Sci. 30(6): 572-596 (2020) - [j52]Silvio Ghilardi, Maria João Gouveia
, Luigi Santocanale
:
Fixed-point Elimination in the Intuitionistic Propositional Calculus. ACM Trans. Comput. Log. 21(1): 4:1-4:37 (2020) - [c57]Nick Bezhanishvili, Silvio Ghilardi, Lucia Landi:
Model Completeness and Π2-rules: The Case of Contact Algebras. AiML 2020: 115-132 - [c56]Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data - Modelling and Verification. BPM 2020: 55-74 - [c55]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. IJCAR (1) 2020: 181-200 - [c54]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations. CILC 2020: 67-81 - [i18]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Compactly Representing Uniform Interpolants for EUF using (conditional) DAGS. CoRR abs/2002.09784 (2020) - [i17]Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Petri Nets with Parameterised Data: Modelling and Verification (Extended Version). CoRR abs/2006.06630 (2020) - [i16]Silvio Ghilardi, Alessandro Gianola, Deepak Kapur:
Interpolation and Amalgamation for Arrays with MaxDiff (Extended Version). CoRR abs/2010.07082 (2020)
2010 – 2019
- 2019
- [j51]Luca Carai
, Silvio Ghilardi:
Existentially closed Brouwerian Semilattices. J. Symb. Log. 84(4): 1544-1575 (2019) - [c53]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
From Model Completeness to Verification of Data Aware Processes. Description Logic, Theory Combination, and All That 2019: 212-239 - [c52]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN. BPM 2019: 157-175 - [c51]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola
, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition. CADE 2019: 142-160 - [c50]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Model Completeness, Covers and Superposition (Abridged Version). CILC 2019 - [i15]Silvio Ghilardi, Luigi Santocanale:
Free Heyting Algebra Endomorphisms: Ruitenburg's Theorem and Beyond. CoRR abs/1901.01252 (2019) - [i14]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Multi-Case Data-Aware BPMN. CoRR abs/1905.12991 (2019) - [i13]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Formal Modeling and SMT-Based Parameterized Verification of Data-Aware BPMN (Extended Version). CoRR abs/1906.07811 (2019) - [i12]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Combined Covers and Beth Definability. CoRR abs/1911.07774 (2019) - 2018
- [j50]Silvio Ghilardi, Alessandro Gianola
:
Modularity results for interpolation, amalgamation and superamalgamation. Ann. Pure Appl. Log. 169(8): 731-754 (2018) - [c49]Silvio Ghilardi, Luigi Santocanale:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. Advances in Modal Logic 2018: 277-290 - [i11]Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point elimination in the Intuitionistic Propositional Calculus (extended version). CoRR abs/1803.01552 (2018) - [i10]Luigi Santocanale, Silvio Ghilardi:
Ruitenburg's Theorem via Duality and Bounded Bisimulations. CoRR abs/1804.06130 (2018) - [i9]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Quantifier Elimination for Database Driven Verification. CoRR abs/1806.09686 (2018) - [i8]Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
Verification of Data-Aware Processes via Array-Based Systems (Extended Version). CoRR abs/1806.11459 (2018) - 2017
- [j49]Francesco Alberti, Silvio Ghilardi
, Elena Pagani
:
Cardinality constraints for arrays (decidability results and applications). Formal Methods Syst. Des. 51(3): 545-574 (2017) - [j48]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
A Framework for the Verification of Parameterized Infinite-state Systems. Fundam. Informaticae 150(1): 1-24 (2017) - [j47]Silvio Ghilardi
, Samuel J. van Gool:
A Model-Theoretic characterization of Monadic second order Logic on Infinite Words. J. Symb. Log. 82(1): 62-76 (2017) - [j46]Nick Bezhanishvili, Silvio Ghilardi
, Frederik Möllerström Lauridsen:
One-step Heyting Algebras and Hypersequent Calculi with the Bounded Proof Property. J. Log. Comput. 27(7): 2135-2169 (2017) - [c48]Silvio Ghilardi
, Alessandro Gianola
:
Interpolation, Amalgamation and Combination (The Non-disjoint Signatures Case). FroCoS 2017: 316-332 - [c47]Danilo Bruschi, Andrea Di Pasquale, Silvio Ghilardi
, Andrea Lanzi, Elena Pagani
:
Formal Verification of ARP (Address Resolution Protocol) Through SMT-Based Model Checking - A Case Study -. IFM 2017: 391-406 - [c46]Silvio Ghilardi, Elena Pagani:
Second Order Quantifier Elimination: Towards Verification Applications. SOQE 2017: 36-50 - [c45]Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
, Silvio Ghilardi
:
Formal verification of data-intensive applications through model checking modulo theories. SPIN 2017: 98-101 - [c44]Silvio Ghilardi, Elena Pagani
:
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report. PxTP 2017: 39-53 - 2016
- [j45]Nick Bezhanishvili, David Gabelaia, Silvio Ghilardi
, Mamuka Jibladze
:
Admissible Bases Via Stable Canonical Rules. Stud Logica 104(2): 317-341 (2016) - [c43]Francesco Alberti, Silvio Ghilardi
, Elena Pagani
:
Counting Constraints in Flat Array Fragments. IJCAR 2016: 65-81 - [c42]Francesco Alberti, Silvio Ghilardi, Andrea Orsini, Elena Pagani:
Counter Abstractions in Model Checking of Distributed Broadcast Algorithms: Some Case Studies. CILC 2016: 102-117 - [c41]Silvio Ghilardi
, Maria João Gouveia
, Luigi Santocanale
:
Fixed-Point Elimination in the Intuitionistic Propositional Calculus. FoSSaCS 2016: 126-141 - [c40]Silvio Ghilardi
, Sam van Gool:
Monadic second order logic as the model companion of temporal logic. LICS 2016: 417-426 - [i7]Silvio Ghilardi, Maria João Gouveia, Luigi Santocanale:
Fixed-point elimination in the intuitionistic propositional calculus. CoRR abs/1601.00402 (2016) - [i6]Francesco Alberti, Silvio Ghilardi, Elena Pagani:
Counting Constraints in Flat Array Fragments. CoRR abs/1602.00458 (2016) - [i5]Silvio Ghilardi, Samuel J. van Gool:
Monadic second order logic as the model companion of temporal logic. CoRR abs/1605.01003 (2016) - 2015
- [j44]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
Decision Procedures for Flat Array Properties. J. Autom. Reason. 54(4): 327-352 (2015) - [c39]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina
:
A New Acceleration-Based Combination Framework for Array Properties. FroCos 2015: 169-185 - [i4]Silvio Ghilardi, Samuel J. van Gool:
A model-theoretic characterization of monadic second order logic on infinite words. CoRR abs/1503.08936 (2015) - 2014
- [j43]Nick Bezhanishvili, Silvio Ghilardi
:
The bounded proof property via step algebras and step frames. Ann. Pure Appl. Log. 165(12): 1832-1863 (2014) - [j42]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
, Natasha Sharygina:
An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1): 63-109 (2014) - [j41]Silvio Ghilardi
, Grigori Mints:
The logic of transitive and dense frames: from the step-frame analysis to full cut-elimination. Log. J. IGPL 22(4): 585-596 (2014) - [j40]Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
:
Quantifier-free interpolation in combinations of equality interpolating theories. ACM Trans. Comput. Log. 15(1): 5:1-5:34 (2014) - [c38]Nick Bezhanishvili, Silvio Ghilardi:
Multiple-conclusion Rules, Hypersequents Syntax and Step Frames. Advances in Modal Logic 2014: 54-73 - [c37]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Booster: An Acceleration-Based Verification Framework for Array Programs. ATVA 2014: 18-23 - [c36]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
A Framework for the Verification of Parameterized Infinite-State Systems. CILC 2014: 303-308 - [c35]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Decision Procedures for Flat Array Properties. SMT 2014: 51 - [c34]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina:
Decision Procedures for Flat Array Properties. TACAS 2014: 15-30 - [c33]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina:
Monotonic Abstraction Techniques: from Parametric to Software Model Checking. MOD* 2014: 1-11 - [p2]Willem Conradie
, Silvio Ghilardi, Alessandra Palmigiano
:
Unified Correspondence. Johan van Benthem on Logic and Information Dynamics 2014: 933-975 - 2013
- [j39]Alessandro Carioni, Silvio Ghilardi
, Silvio Ranise
:
Automated Termination in Model-Checking Modulo Theories. Int. J. Found. Comput. Sci. 24(2): 211-232 (2013) - [c32]Francesco Alberti, Silvio Ghilardi
, Natasha Sharygina:
Definability of Accelerated Relations in a Theory of Arrays and Its Applications. FroCos 2013: 23-39 - [c31]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Acceleration-based safety decision procedure for programs with arrays. LPAR (short papers) 2013: 1-8 - [c30]Nick Bezhanishvili, Silvio Ghilardi
:
Bounded Proofs and Step Frames. TABLEAUX 2013: 44-58 - [c29]Silvio Ghilardi:
From free algebras to proof bounds. TACL 2013: 5 - [i3]Francesco Alberti, Silvio Ghilardi, Natasha Sharygina:
Abstraction and Acceleration in SMT-based Model-Checking for Array Programs. CoRR abs/1304.4499 (2013) - 2012
- [j38]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
Quantifier-Free Interpolation of a Theory of Arrays. Log. Methods Comput. Sci. 8(2) (2012) - [j37]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories. J. Satisf. Boolean Model. Comput. 8(1/2): 29-61 (2012) - [j36]Franz Baader
, Silvio Ghilardi
, Carsten Lutz
:
LTL over description logic axioms. ACM Trans. Comput. Log. 13(3): 21:1-21:32 (2012) - [c28]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise, Natasha Sharygina:
Reachability Modulo Theory Library. SMT@IJCAR 2012: 67-76 - [c27]Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. IJCAR 2012: 118-133 - [c26]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
, Natasha Sharygina:
SAFARI: SMT-Based Abstraction for Arrays with Interpolants. CAV 2012: 679-685 - [c25]Francesco Alberti, Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
, Natasha Sharygina:
Lazy Abstraction with Interpolants for Arrays. LPAR 2012: 46-61 - [c24]Roberto Bruttomesso, Alessandro Carioni, Silvio Ghilardi
, Silvio Ranise
:
Automated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms. NASA Formal Methods 2012: 279-294 - [e2]Thomas Bolander, Torben Braüner, Silvio Ghilardi, Lawrence S. Moss:
Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012. College Publications 2012, ISBN 978-1-84890-068-4 [contents] - [i2]Roberto Bruttomesso, Silvio Ghilardi, Silvio Ranise:
From Strong Amalgamability to Modularity of Quantifier-Free Interpolation. CoRR abs/1203.3730 (2012) - 2011
- [j35]Franz Baader
, Silvio Ghilardi
:
Unification in modal and description logics. Log. J. IGPL 19(6): 705-730 (2011) - [j34]Guram Bezhanishvili, Silvio Ghilardi
, Mamuka Jibladze
:
An Algebraic Approach to Subframe Logics. Modal Case. Notre Dame J. Formal Log. 52(2): 187-202 (2011) - [c23]Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
:
A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints. FroCoS 2011: 103-118 - [c22]Alessandro Carioni, Silvio Ghilardi
, Silvio Ranise
:
Automated Termination in Model Checking Modulo Theories. RP 2011: 110-124 - [c21]Roberto Bruttomesso, Silvio Ghilardi
, Silvio Ranise
:
Rewriting-based Quantifier-free Interpolation for a Theory of Arrays. RTA 2011: 171-186 - 2010
- [j33]Silvio Ghilardi, Silvio Ranise:
Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis. Log. Methods Comput. Sci. 6(4) (2010) - [j32]Francesco Alberti, Silvio Ghilardi, Elena Pagani, Silvio Ranise, Gian Paolo Rossi:
Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems: a case study. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010) - [j31]Silvio Ghilardi
:
Continuity, freeness, and filtrations. J. Appl. Non Class. Logics 20(3): 193-217 (2010) - [j30]Silvio Ghilardi
, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari:
Special issue on automated deduction: Decidability, complexity, tractability. J. Symb. Comput. 45(2): 151-152 (2010) - [j29]Silvio Ghilardi:
Book Reviews. Stud Logica 95(3): 443-448 (2010) - [c20]Silvio Ghilardi
, Silvio Ranise
:
MCMT: A Model Checker Modulo Theories. IJCAR 2010: 22-29 - [c19]Alessandro Carioni, Silvio Ghilardi, Silvio Ranise:
MCMT in the Land of Parametrized Timed Automata. VERIFY@IJCAR 2010: 47-64 - [c18]Francesco Alberti, Silvio Ghilardi
, Elena Pagani
, Silvio Ranise
, Gian Paolo Rossi
:
Brief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study. DISC 2010: 392-394
2000 – 2009
- 2009
- [j28]Silvio Ghilardi
, Silvio Ranise
, Thomas Valsecchi:
Light-Weight SMT-based Model Checking. Electron. Notes Theor. Comput. Sci. 250(2): 85-102 (2009) - [c17]Silvio Ghilardi:
Model-Checking of Array-Based Systems: from Foundations to Implementation. FTP 2009 - [c16]Silvio Ghilardi
, Silvio Ranise
:
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories. TABLEAUX 2009: 173-188 - [e1]Silvio Ghilardi, Roberto Sebastiani:
Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Lecture Notes in Computer Science 5749, Springer 2009, ISBN 978-3-642-04221-8 [contents] - 2008
- [j27]Silvio Ghilardi
, Enrica Nicolini, Daniele Zucchelli:
A comprehensive combination framework. ACM Trans. Comput. Log. 9(2): 8:1-8:54 (2008) - [c15]Silvio Ghilardi
, Enrica Nicolini, Silvio Ranise
, Daniele Zucchelli:
Towards SMT Model Checking of Array-Based Systems. IJCAR 2008: 67-82 - [c14]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. Description Logics 2008 - [c13]Franz Baader, Silvio Ghilardi, Carsten Lutz:
LTL over Description Logic Axioms. KR 2008: 684-694 - 2007
- [j26]Silvio Ghilardi
, Enrica Nicolini, Silvio Ranise
, Daniele Zucchelli:
Decision procedures for extensions of the theory of arrays. Ann. Math. Artif. Intell. 50(3-4): 231-254 (2007) - [j25]Guram Bezhanishvili, Silvio Ghilardi
:
An algebraic approach to subframe logics. Intuitionistic case. Ann. Pure Appl. Log. 147(1-2): 84-100 (2007) - [j24]Franz Baader
, Silvio Ghilardi
:
Connecting many-sorted theories. J. Symb. Log. 72(2): 535-583 (2007) - [c12]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems. CADE 2007: 362-378 - [c11]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Noetherianity and Combination Problems. FroCoS 2007: 206-220 - [p1]Torben Braüner, Silvio Ghilardi
:
First-order modal logic. Handbook of Modal Logic 2007: 549-620 - [i1]Silvio Ghilardi, Silvio Ranise, Enrica Nicolini, Daniele Zucchelli:
From Non-Disjoint Combination to Satisfiability and Model-Checking of Infinite State Systems. Deduction and Decision Procedures 2007 - 2006
- [j23]Franz Baader
, Silvio Ghilardi
, Cesare Tinelli
:
A new combination procedure for the word problem that generalizes fusion decidability results in modal logics. Inf. Comput. 204(10): 1413-1452 (2006) - [c10]Silvio Ghilardi, Carsten Lutz, Frank Wolter, Michael Zakharyaschev:
Conservative extensions in modal logic. Advances in Modal Logic 2006: 187-207 - [c9]Maria Paola Bonacina, Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Decidability and Undecidability Results for Nelson-Oppen and Rewrite-Based Decision Procedures. IJCAR 2006: 513-527 - [c8]Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli:
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. JELIA 2006: 177-189 - [c7]Silvio Ghilardi, Carsten Lutz, Frank Wolter:
Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics. KR 2006: 187-197 - 2005
- [c6]Franz Baader, Silvio Ghilardi:
Connecting Many-Sorted Theories. CADE 2005: 278-294 - [c5]Silvio Ghilardi
, Enrica Nicolini, Daniele Zucchelli:
A Comprehensive Framework for Combined Decision Procedures. FroCoS 2005: 1-30 - [c4]Franz Baader, Silvio Ghilardi
:
Connecting Many-Sorted Structures and Theories Through Adjoint Functions. FroCoS 2005: 31-47 - 2004
- [j22]Silvio Ghilardi
:
Unification, finite duality and projectivity in varieties of Heyting algebras. Ann. Pure Appl. Log. 127(1-3): 99-115 (2004) - [j21]Silvio Ghilardi
:
Model-Theoretic Methods in Combined Constraint Satisfiability. J. Autom. Reason. 33(3-4): 221-249 (2004) - [j20]Silvio Ghilardi
, Lorenzo Sacchetti:
Filtering unification and most general unifiers in modal logic. J. Symb. Log. 69(3): 879-906 (2004) - [c3]Franz Baader, Silvio Ghilardi, Cesare Tinelli
:
A New Combination Procedure for the Word Problem That Generalizes Fusion Decidability Results in Modal Logics. IJCAR 2004: 183-197 - 2003
- [j19]Silvio Ghilardi
:
Quantifier Elimination and Provers Integration. Electron. Notes Theor. Comput. Sci. 86(1): 22-34 (2003) - [j18]Silvio Ghilardi, Daniele Mundici:
Foreword. Stud Logica 73(1): 3 (2003) - [j17]Camillo Fiorentini
, Silvio Ghilardi
:
Combining word problems through rewriting in categories with products. Theor. Comput. Sci. 294(1/2): 103-149 (2003) - [c2]Silvio Ghilardi, Luigi Santocanale:
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. LPAR 2003: 152-166 - 2002
- [b1]Silvio Ghilardi, Marek W. Zawadowski:
Sheaves, games, and model completions - a categorical approach to nonclassical propositional logics. Trends in logic 14, Springer 2002, ISBN 978-1-4020-0660-9, pp. I-IX, 1-243 - [j16]Silvio Ghilardi:
A Resolution/Tableaux Algorithm for Projective Approximations in IPC. Log. J. IGPL 10(3): 229-243 (2002) - 2000
- [j15]Silvio Ghilardi:
Best Solving Modal Equations. Ann. Pure Appl. Log. 102(3): 183-198 (2000) - [c1]