S. Ghilardi

activity

20102022

most citedBackward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

73 citations · 149 across the 21 of their papers we have counts for

collaborators

Showing 2022 · math.LOShow all

1 paper · 2 filters

math.LO2022★ 1 cited

Admissibility of $Π_{2}$ -Inference Rules: interpolation, model completion, and contact algebras

Nick Bezhanishvili, Luca Carai, Silvio Ghilardi +1

We devise three strategies for recognizing admissibility of non-standard inference rules via interpolation, uniform interpolation, and model completions. We apply our machinery to…

Admissibility of Π2​-Inference Rules: interpolation, model completion, and contact algebras

Admissibility of $Π_{2}$ -Inference Rules: interpolation, model completion, and contact algebras