The Mechanization of the Diagonalization Proof Strategy (1996)

Cached

Download Links

by Lassaad Cheikhrouhou
Venue:FACHBEREICH INFORMATIK, UNIVERSITAT DES SAARLANDES, IM STADTWALD
Citations:2 - 1 self

Documents Related by Co-Citation

8 A science of reasoning, in: Computational Logic: Essays in Honour of Alan – A Bundy - 1990
4 Middle-Out Reasoning for Program Synthesis – I Kraan, D Basin, A Bundy - 1993
3 Adapting the Diagonalization Method by Reformulations – Xiaorong Huang, Xiaorong Huang, Manfred Kerber, Manfred Kerber, Lassaad Cheikhrouhou, Lassaad Cheikhrouhou, Fachbereich Informatik - 1995
2 Proving Ground Completeness of Resolution by Proof Planning – Manfred Kerber, Arthur Christian Sehn - 1997
1 Reuse of Proofs by Meta-Methods – Xiaorong Huang, Manfred Kerber, Fachbereich Informatik - 1995
1 Proof: A Many-Splendored Thing – I Kleiner, N Movshovitz-Hadar - 1997
1 Mathematics and Plausible Reasoning – G P��lya - 1954
1 and Nitsa Movshovitz-Hadar. Proof: A many-splendored thing – Israel Kleiner - 1997
1 Solution of the Robbins problem. submitted to the – William McCune - 1997
1 Siekmann and Graham Wrightson. Automation of Reasoning – H Jorg - 1983
4 Representing and reformulating diagonalization methods – Erica Melis - 1994
15 Integrating Computer Algebra with Proof Planning – Manfred Kerber, Michael Kohlhase, Volker Sorge - 1996
12 Planning Diagonalization Proofs – Lassaad Cheikhrouhou - 1997
15 Planning Mathematical Proofs with Methods – Xiaorong Huang, Manfred Kerber, Jörn Richts, Arthur Sehn - 1994
4 Automation of Reasoning – J Siekmann, G Wrightson - 1983
12 Edinburgh LCF: A mechanized Logic of Computation. LNCS 78 – M J Gordon, R Milner, C P Wadsworth - 1979
43 Transforming matings into natural deduction proofs – Peter B Andrews - 1980
5 Using Tactics to Reformulate Formulae for Resolution Theorem Proving – Manfred Kerber, Axel Präcklein - 1996
56 Constable et al. Implementing Mathematics with the Nuprl Proof Development System – L Robert - 1986