Author:
Ghilardi Silvio,Gianola Alessandro
Publisher
Springer International Publishing
Reference27 articles.
1. Bacsich, P.D.: Amalgamation properties and interpolation theorems for equational theories. Algebra Universalis 5, 45–55 (1975)
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);R Bruttomesso,2012
3. 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)
4. Chang, C.-C., Keisler, J.H.: Model Theory, 3rd edn. North-Holland, Amsterdam-London (1990)
5. Craig, W.: Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory. J. Symb. Log. 22, 269–285 (1957)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献