Author:
Baumgartner Peter,Waldmann Uwe
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference17 articles.
1. Baumgartner, P.: Logical engineering with instance-based methods. In: Pfenning, F. (ed.) CADE-21—The 21st International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence, vol. 4603, pp. 404–409. Springer (2007)
2. Bachmair, L., Ganzinger, H.: Chapter 11: Equational reasoning in saturation-based theorem proving. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction. A Basis for Applications. Vol. I: Foundations. Calculi and Refinements, pp. 353–398. Kluwer Academic Publishers (1998)
3. Bachmair, L., Ganzinger, H., Waldmann, U.: Refutational theorem proving for hierarchic first-order theories. Appl. Algebra Eng. Commun. Comput. 5(3/4), 193–212 (1994)
4. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1998)
5. Baumgartner, P., Tinelli, C.: The model evolution calculus. In: Baader, F. (ed.) CADE-19—The 19th International Conference on Automated Deduction. Lecture Notes in Artificial Intelligence, vol. 2741, pp. 350–364. Springer (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献