The Higher-Order Prover Leo-III (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
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. (Url (preprint): https://tinyurl.com/y7wg5w5w)
Bibtex Entry:
@inproceedings{C70,
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {Automated Reasoning. IJCAR 2018},
  Editor =	 {Didier Galmiche and Stephan Schulz and Roberto
                  Sebastiani},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, LEO
                  Prover},
  Publisher =	 {Springer, Cham},
  Series =	 {LNCS},
  Title =	 {The Higher-Order Prover {Leo-III}},
  Note =	 {Url (preprint): {https://tinyurl.com/y7wg5w5w}},
  volume =	 10900,
  pages =	 {108-116},
  doi =		 {10.1007/978-3-319-94205-6_8},
  isbn =	 {978-3-319-94204-9},
  Year =	 2018,
}
Powered by bibtexbrowser