System Demonstration: The Higher-Order Prover Leo-III (bibtex)
by Alexander Steen, Christoph Benzmüller
Reference:
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 Entry:
@inproceedings{W61,
  Author =	 {Alexander Steen and Christoph
                  Benzm\"uller},
  Booktitle =	 {ARQNL 2018. Automated Reasoning in Quantified
                  Non-Classical Logics},
  Editor =	 {Christoph Benzm{\"u}ller and Jens Otten},
  Keywords =	 {own, Higher Order Logic, Higher Order Modal Logic},
  Publisher =	 {CEUR Workshop Proceedings, http://ceur-ws.org},
  Note =         {\url{http://ceur-ws.org/Vol-2095/}},
  Url =          {http://ceur-ws.org/Vol-2095/paper5.pdf},
  Volume =	 2095,
  Title =	 {System Demonstration: The Higher-Order Prover {Leo-III}},
  Pages =	 {79-85},
  Year =	 2018,
}
Powered by bibtexbrowser