Term Indexing for the LEO-II Prover (bibtex)
by Frank Theiss, Christoph Benzmüller
Reference:
Term Indexing for the LEO-II Prover (Frank Theiss, Christoph Benzmüller), In IWIL-6 workshop at LPAR 2006: The 6th International Workshop on the Implementation of Logics, 2006. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/W35.pdf)
Bibtex Entry:
@inproceedings{W35,
  Address =	 {Pnom Penh, Cambodia},
  Author =	 {Frank Theiss and Christoph Benzm{\"u}ller},
  Booktitle =	 {IWIL-6 workshop at LPAR 2006: The 6th International
                  Workshop on the Implementation of Logics},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2006-iwil.pdf">slides</a>},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning},
  Title =	 {Term Indexing for the {LEO-II} Prover},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/W35.pdf}},
  Year =	 2006,
}
Powered by bibtexbrowser