Author:
Calvanese Diego,Ghilardi Silvio,Gianola Alessandro,Montali Marco,Rivkin Andrey
Publisher
Springer International Publishing
Reference33 articles.
1. Bílková, M.: Uniform interpolation and propositional quantifiers in modal logics. Stud. Logica 85(1), 1–31 (2007)
2. Bruttomesso, R., Ghilardi, S., Ranise, S.: Quantifier-free interpolation in combinations of equality interpolating theories. ACM Trans. Comput. Log. 15(1), 5:1–5:34 (2014)
3. Calvanese, D., Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Quantifier elimination for database driven verification. Technical report
arXiv:1806.09686
,
arXiv.org
(2018)
4. Calvanese, D., Ghilardi, S., Gianola, A., Montali, M., Rivkin, A.: Combined covers and Beth definability (extended version). Technical report
arXiv:1911.07774
,
arXiv.org
(2019)
5. Lecture Notes in Computer Science;D Calvanese,2019
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献