Automated Deduction – CADE-20

DOI10.1007/11532231MaRDI QIDQ5394602zbMATH OpenOpenAlexFDO

Authors Gilles Dowek

Publication date 1 November 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11532231

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Propositional proof systems, the consistency of first order theories and the complexity of computations
• scientific article; zbMATH DE number 3874657
• Proof by consistency
• Consistency, optimality, and incompleteness
• Consistency and optimality

This page was built for publication: Automated Deduction – CADE-20

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