Author:
Ghilardi Silvio,Nicolini Enrica,Zucchelli Daniele
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Andréka, H., Nemeti, I., VanBenthem, J.: Modal languages and bounded fragments of predicate logics. Journal of Philosophical Logic 27, 217–274 (1998)
2. Applied Logic Series;P.B. Andrews,2002
3. Andrews, P.B.: Classical type theory. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, vol. II, pp. 966–1007. Elsevier/MIT, Cambridge (2001)
4. Lecture Notes in Computer Science;F. Baader,2005
5. Lecture Notes in Computer Science;F. Baader,2005
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献