scientific article; zbMATH DE number 1951638

MaRDI QIDQ4413893zbMATH OpenFDO

Authors Paul Cairns, Jeremy Gow

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2594/25940175.htm

Mathematics Subject Classification ID

Structure of proofs (03F07) Knowledge representation (68T30)

Recommendations

• Hiproofs: a hierarchical notion of proof tree
• scientific article; zbMATH DE number 7668091
• Tactics for hierarchical proof
• scientific article; zbMATH DE number 1008505
• scientific article; zbMATH DE number 1300967
• scientific article; zbMATH DE number 1072531
• Proof theoretic analysis by iterated reflection
• Hierarchical invention of theorem proving strategies
• Proof-theoretic analysis by iterated reflection
• Finite Quantification in Hierarchic Theorem Proving

Cited in

(4)

• A study of an integrated proof strategy
• Formalizing a Hierarchical Structure of Practical Mathematical Reasoning
• A proof theoretic analysis of intruder theories
• A Proof Theoretic Analysis of Intruder Theories

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4413893)