Search: A Higher-Order Theorem Prover
1998
[1]LEO -- A Higher-Order Theorem Prover (Christoph Benzmüller, Michael Kohlhase), In Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Claude Kirchner, Hélène Kirchner, eds.), Springer, LNCS, number 1421, pp. 139-143, 1998. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C3.pdf) [bibtex] [doi]
Powered by bibtexbrowser