Documents Related by Co-Citation

71 PROOFS IN HIGHER-ORDER LOGIC – Dale A. Miller - 1983
565 Untersuchungen ├╝ber das logische Schlie├čen – G Gentzen - 1935
43 Transforming matings into natural deduction proofs – Peter B Andrews - 1980
22 Structuring computer generated proofs – C Lingenfelder - 1989
15 Presenting intuitive deductions via symmetric simplification – Frank Pfenning, Dan Nesmith - 1990
114 Theorem Proving via General Matings – P B Andrews - 1981
16 Expansion tree proofs and their conversion to natural deduction proofs – Dale Miller - 1984
148 Automated Theorem Proving – Wolfgang Bibel - 1987
854 A formulation of the simple theory of types – Alonzo Church - 1940
311 An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof (2nd Ed – Peter B Andrews - 2002
945 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
26 On transforming intuitionistic matrix proofs into standard-sequent proofs – Stephan Schmitt, Christoph Kreitz - 1995
8 Path-Focused Duplication: A Search Procedure for General Matings – Sunil Issar - 1990
105 Classical Type Theory – Peter B. Andrews, Second Readers John Harrison, Michael Kohlhase - 2001
63 Reconstructing Proofs at the Assertion Level – Xiaorong Huang - 1994
28 The translation of formal proofs into English – Daniel Chester - 1976
12 A Compact Representation of Proofs, Studia Logica 46 – D Miller - 1987
71 tps: A theorem proving system for classical type theory – Peter B. Andrews, Matthew Bishop, Sunil Issar, Dan Nesmith, Frank Pfenning, Hongwei Xi - 1996
6 Operational Issues in Automated Theorem Proving Using Matings – Sunil Issar - 1991