Search: The Higher-Order Prover LEO-II
2018
[4] System Demonstration: The Higher-Order Prover Leo-III (Alexander Steen, Christoph Benzmüller), In ARQNL 2018. Automated Reasoning in Quantified Non-Classical Logics (Christoph Benzmüller, Jens Otten, eds.), CEUR Workshop Proceedings, http://ceur-ws.org, volume 2095, pp. 79-85, 2018. (http://ceur-ws.org/Vol-2095/) [bibtex] [pdf]
[3] The Higher-Order Prover Leo-III (Extended Version) (Alexander Steen, Christoph Benzmüller), Technical report, CoRR, 2018. (https://arxiv.org/abs/1802.02732, preprint of IJCAR 2018 paper) [bibtex] [pdf]
[2] The Higher-Order Prover Leo-III (Alexander Steen, Christoph Benzmüller), In Automated Reasoning. IJCAR 2018 (Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds.), Springer, Cham, LNCS, volume 10900, pp. 108-116, 2018. [bibtex] [pdf] [doi]
2015
[1] The Higher-Order Prover LEO-II (Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson, Frank Theiß), In Journal of Automated Reasoning, volume 55, number 4, pp. 389-404, 2015. [bibtex] [pdf] [doi]
Powered by bibtexbrowser