The Higher-Order Prover Leo-III (Extended Version) (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
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 Entry:
@techreport{R62,
  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{https://arxiv.org/abs/1802.02732}, preprint of IJCAR 2018 paper},
  Url =		 {https://arxiv.org/abs/1802.02732},
  Year =	 2018
}
Powered by bibtexbrowser