The Higher-Order Prover Leo-III (Extended Version) (bibtex)
by Alexander Steen, Christoph Benzmüller
The Higher-Order Prover Leo-III (Extended Version) (Alexander Steen, Christoph Benzmüller), Technical report, CoRR, 2018. (, preprint of IJCAR 2018 paper)
Bibtex Entry:
  Author =	 {Steen, Alexander and Benzm{\"u}ller, Christoph},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Polymorphism,
                  Automated Reasoning, Higher Order Logic, Higher Order Modal Logic, Universal Reasoning},
  Title =	 {The Higher-Order Prover {Leo-III} (Extended Version)},
  Institution =	 {CoRR},
  Note =	 {\url{}, preprint of IJCAR 2018 paper},
  Url =		 {},
  Year =	 2018
Powered by bibtexbrowser