Publication details
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Geoff Sutcliffe, Christoph E. Benzmüller, Chad E. Brown, Frank Theiss
Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings, pp. 116-130, Springer, August 2009
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-order Automated Theorem Proving (ATP) systems. Recently, the TPTP has been extended to include problems in higher-order logic, with corresponding infrastructure and resources. This paper describes the practical progress that has been made towards the goal of TPTP support for higher-order ATP systems.
Show BibTeX
@INPROCEEDINGS{SBBT2009,
title = {Progress in the Development of Automated Theorem Proving for Higher-Order Logic},
author = {Geoff Sutcliffe and Christoph E. Benzmüller and Chad E. Brown and Frank Theiss},
year = {2009},
month = {Aug},
editor = {Renata Schmidt},
publisher = {Springer},
booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
series = {LNCS},
pages = {116-130},
}
Login to edit
Legal notice, Privacy policy
