System Description: LEO -- A Resolution based Higher-Order Theorem Prover (bibtex)
by Christoph Benzmüller
Reference:
System Description: LEO -- A Resolution based Higher-Order Theorem Prover (Christoph Benzmüller), In Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), pp. 25-44, 2005. (arXiv:cs/0601042)
Bibtex Entry:
@inproceedings{W31,
  Address =	 {Wexford Hotel, Montego Bay, Jamaica},
  Author =	 {Christoph Benzm{\"u}ller},
  Booktitle =	 {Proceedings of the LPAR-05 Workshop: Empirically
                  Successfull Automated Reasoning in Higher-Order
                  Logic (ESHOL)},
  Keywords =	 {own, LEO Prover, Higher Order Logic, Automated
                  Reasoning, Henkin Semantics},
  Note =	 {arXiv:cs/0601042},
  Pages =	 {25-44},
  Title =	 {System Description: {LEO} -- A Resolution based
                  Higher-Order Theorem Prover},
  Url =		 {http://arxiv.org/abs/cs/0601042},
  Year =	 2005,
}
Powered by bibtexbrowser