Author:
Benzmüller Christoph,Kohlhase Michael
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. P. B. Andrews, M. Bishop, S. Issar, D. Nesmith, F. Pfenning, and H. Xi. TPS: A theorem proving system for classical type theory. Journal of Automated Reasoning, 16(3):321–353, 1996.
2. C. Benzmüller. A Calculus and a System Architecture for Extensional Higher-Order Resolution. Research Report 97-198, Department of Mathematical Sciences, Carnegie Mellon University, Pittsburgh, USA, June 1997.
3. C. Benzmüller and M. Kohlhase. Extensional Higher-Order Resolution. Proc. CADE-15, this volume, 1998.
4. P. Graf. Term Indexing. Number 1053 in LNCS. Springer Verlag, 1996.
5. X. Huang, M. Kerber, M. Kohlhase, E. Melis, D. Nesmith, J. Richts, and J. Siekmann. Keim: A toolkit for automated deduction. In Alan Bundy, editor, Proc. CADE-13, number 814 in LNAI, pages 807–810, 1994. Springer Verlag.
Cited by
23 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Functions-as-constructors higher-order unification: extended pattern unification;Annals of Mathematics and Artificial Intelligence;2021-09-30
2. Extending a brainiac prover to lambda-free higher-order logic;International Journal on Software Tools for Technology Transfer;2021-08-16
3. Extensional Higher-Order Paramodulation in Leo-III;Journal of Automated Reasoning;2021-03-27
4. The Higher-Order Prover Leo-III (Extended Abstract);KI 2019: Advances in Artificial Intelligence;2019
5. Extending a Brainiac Prover to Lambda-Free Higher-Order Logic;Tools and Algorithms for the Construction and Analysis of Systems;2019