On the use of the constructive omega-rule within automated deduction

Citations Over TimeTop 21% of 2005 papers

Related Papers

• → Muscadet 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction(2001)11 cited
• → Generalisation of Induction Formulae based on Proving by Symbolic Execution(2018)1 cited
• → &: Automated natural deduction(1992)3 cited
• A Definition-Drive n TheoremProver(1973)
• → Teaching Deduction Using Athena and Related Tools(2018)