System description: Leo— A higher-order theorem prover
Kohlhase M, Benzmüller C (1998)
Publication Status: Published
Publication Type: Conference contribution, Original article
Publication year: 1998
Publisher: Springer Verlag
Book Volume: 1421
Pages Range: 139-143
ISBN: 9783540646754
URI: https://www.scopus.com/record/display.uri?eid=2-s2.0-84872799915&origin=inward
Authors with CRIS profile
Involved external institutions
Germany (DE)How to cite
APA:
Kohlhase, M., & Benzmüller, C. (1998). System description: Leo— A higher-order theorem prover. In Proceedings of the 15th International Conference on Automated Deduction, CADE 1998 (pp. 139-143). Springer Verlag.
MLA:
Kohlhase, Michael, and Christoph Benzmüller. "System description: Leo— A higher-order theorem prover." Proceedings of the 15th International Conference on Automated Deduction, CADE 1998 Springer Verlag, 1998. 139-143.
BibTeX: Download