Theorem Proving in Higher Order Logics
From MaRDI portal
Publication:5477647
DOI10.1007/11541868zbMath1152.68517OpenAlexW2484880499MaRDI QIDQ5477647
Christoph Benzmüller, Chad Edward Brown
Publication date: 6 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11541868
Related Items
The higher-order prover \textsc{Leo}-II, THF0 – The Core of the TPTP Language for Higher-Order Logic, Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Uses Software