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 --- 9th International Joint Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings (Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds.), Springer, LNCS, 2018.
Bibtex Entry:
@inproceedings{C70,
  Author =	 {Alexander Steen and Christoph Benzm{\"u}ller},
  Booktitle =	 {Automated Reasoning --- 9th International Joint
                  Conference, IJCAR 2018, Oxford, UK, July 14-17, 2018, Proceedings},
  Editor =	 {Didier Galmiche and Stephan Schulz and Roberto Sebastiani},
  Keywords =	 {own, Higher Order Logic, Automated Reasoning, LEO Prover},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {The Higher-Order Prover {Leo-III}},
  OPTUrl =       {http://christoph-benzmueller.de/papers/C70.pdf},
  OPTVolume =	 9706,
  Year =	 2018,
  OPTNote =         {forthcoming}
}
Powered by bibtexbrowser