Computer-aided analysis of inductive and second-order proofs

01.06.2007 - 31.12.2009
Research funding project
In this project proof analysis of inductive proofs is carried out via resolution theorem proving

People

Project leader

Project personnel

Institute

Grant funds

  • FWF - Österr. Wissenschaftsfonds (National) Austrian Science Fund (FWF)

Research focus

  • Computational Intelligence: 100%

Keywords

GermanEnglish
induktive Beweiseinductive proofs
Resolutionresolution
Beweisanalyseproof analysis

Publications