LEO -- A Higher-Order Theorem Prover (bibtex)
by Christoph Benzmüller, Michael Kohlhase
Abstract:
In this paper we discuss the Higher-Order Theorem Prover LEO, which is based on the Extensional Higher-Order Resolution Calculus EXTRES.
Reference:
LEO -- A Higher-Order Theorem Prover (Christoph Benzmüller, Michael Kohlhase), In Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Claude Kirchner, Hélène Kirchner, eds.), Springer, LNCS, number 1421, pp. 139-143, 1998. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C3.pdf)
Bibtex Entry:
@inproceedings{C3,
  Abstract =	 {In this paper we discuss the Higher-Order Theorem
                  Prover LEO, which is based on the Extensional
                  Higher-Order Resolution Calculus EXTRES.},
  Author =	 {Christoph Benzm\"uller and Michael Kohlhase},
  Booktitle =	 {Automated Deduction - CADE-15, 15th International
                  Conference on Automated Deduction, Lindau, Germany,
                  July 5-10, 1998, Proceedings},
  Comment =	 {<a
                  href="~/chris/trunk/www/papers/1998-leo-talk.pdf">slides</a>},
  Doi =		 {10.1007/BFb0054256},
  Editor =	 {Claude Kirchner and H{\'e}l{\`e}ne Kirchner},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning, Henkin Semantics},
  Number =	 1421,
  Pages =	 {139-143},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {{LEO} -- A Higher-Order Theorem Prover},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C3.pdf}},
  Year =	 1998,
}
Powered by bibtexbrowser