Usablity of some theorem proving systems

MaRDI QIDQ5290079zbMATH OpenFDO

Authors Katalin Pásztor Varga, M. Várterész

Publication date 26 April 2006

zbMATH Keywords

theorem proving systems

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) Grammars and rewriting systems (68Q42)

Recommendations

• Proof theory
• scientific article; zbMATH DE number 2212138
• scientific article; zbMATH DE number 1860672
• Relative efficiency of a proof system for classical propositional logic
• scientific article; zbMATH DE number 4155933

Cited in

(2)

• Unsolvable systems of equations and proof complexity
• scientific article; zbMATH DE number 3874657 (Why is no real title available?)

This page was built for publication: Usablity of some theorem proving systems

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