Author:
Ghilardi Silvio,Gianola Alessandro
Reference40 articles.
1. Locally Presentable and Accessible Categories;Adámek,1994
2. A new combination procedure for the word problem that generalizes fusion decidability results in modal logics;Baader;Inform. and Comput.,2006
3. Amalgamation properties and interpolation theorems for equational theories;Bacsich;Algebra Universalis,1975
4. From strong amalgamability to modularity of quantifier-free interpolation;Bruttomesso,2012
5. Quantifier-free interpolation in combinations of equality interpolating theories;Bruttomesso;ACM Trans. Comput. Log.,2014
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献