LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic (System Description) (bibtex)
by Christoph Benzmüller, Frank Theiss, Lawrence Paulson, Arnaud Fietzke
Reference:
LEO-II - A Cooperative Automatic Theorem Prover for Higher-Order Logic (System Description) (Christoph Benzmüller, Frank Theiss, Lawrence Paulson, Arnaud Fietzke), In Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings (Alessandro Armando, Peter Baumgartner, Gilles Dowek, eds.), Springer, LNCS, volume 5195, pp. 162-170, 2008. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C26.pdf)
Bibtex Entry:
@inproceedings{C26,
  Author =	 {Christoph Benzm{\"u}ller and Frank Theiss and
                  Lawrence Paulson and Arnaud Fietzke},
  Booktitle =	 {Automated Reasoning, 4th International Joint
                  Conference, IJCAR 2008, Sydney, Australia, August
                  12-15, 2008, Proceedings},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de/papers/2008_IJCAR_LEO-II.pdf">slides</a>},
  Doi =		 {10.1007/978-3-540-71070-7_14},
  Editor =	 {Alessandro Armando and Peter Baumgartner and Gilles
                  Dowek},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning, Henkin Semantics},
  Pages =	 {162-170},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {{LEO-II} - A Cooperative Automatic Theorem Prover
                  for Higher-Order Logic (System Description)},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C26.pdf}},
  Volume =	 5195,
  Year =	 2008,
}
Powered by bibtexbrowser