Author:
Hustadt Ullrich,Tishkovsky Dmitry,Wolter Frank,Zakharyaschev Michael
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Baumgartner, P., Fuchs, A., Tinelli, C.: Implementing the model evolution calculus. International Journal of Artificial Intelligence Tools 15(1) (2005)
2. LNAI;P. Blackburn,2002
3. LNAI;R. Letz,2001
4. Ohlbach, H.J., Nonnengart, A., de Rijke, M., Gabbay, D.M.: Encoding two-valued nonclassical logics in classical logic. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1403–1485. Elsevier, Amsterdam (2001)
5. Riazanov, A., Voronkov, A.: The design and implementation of VAMPIRE. AI Comm. 15(2-3), 91–110 (2002)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献