Combining Proofs of Higher-Order and First-Order Automated Theorem Provers (bibtex)
by Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Reference:
Combining Proofs of Higher-Order and First-Order Automated Theorem Provers (Christoph Benzmüller, Volker Sorge, Mateja Jamnik, Manfred Kerber), In Proceedings of the LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL), pp. 45-58, 2005. (arXiv:cs/0601042)
Bibtex Entry:
@inproceedings{W32,
  Address =	 {Wexford Hotel, Montego Bay, Jamaica},
  Author =	 {Christoph Benzm{\"u}ller and Volker Sorge and Mateja
                  Jamnik and Manfred Kerber},
  Booktitle =	 {Proceedings of the LPAR-05 Workshop: Empirically
                  Successfull Automated Reasoning in Higher-Order
                  Logic {(ESHOL)}},
  Note =	 {arXiv:cs/0601042},
  Pages =	 {45-58},
  Title =	 {Combining Proofs of Higher-Order and First-Order
                  Automated Theorem Provers},
  Url =		 {http://arxiv.org/abs/cs/0601042},
  Year =	 2005,
}
Powered by bibtexbrowser