Cited By
View all- Ghilardi SGianola AKapur DNaso C(2023)Interpolation Results for Arrays with Length and MaxDiffACM Transactions on Computational Logic10.1145/358716124:4(1-33)Online publication date: 9-Jun-2023
- Peuter DSofronie-Stokkermans VThunert S(2023)On P-Interpolation in Local Theory Extensions and Applications to the Study of Interpolation in the Description Logics $$\mathcal{E}\mathcal{L}, \mathcal{E}\mathcal{L}^+$$Automated Deduction – CADE 2910.1007/978-3-031-38499-8_24(419-437)Online publication date: 2-Sep-2023
- Ghilardi SGianola A(2022)Interpolation and Uniform Interpolation in Quantifier-Free Fragments of Combined First-Order TheoriesMathematics10.3390/math1003046110:3(461)Online publication date: 31-Jan-2022
- Show More Cited By