Deduction as an engineering science

DOI10.1016/S1571-0661(04)80648-0MaRDI QIDQ4916217zbMATH OpenFDO

Authors Dieter Hutter

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80648-0

Mathematics Subject Classification ID

Recommendations

• Combining assisted and automated deduction
• scientific article; zbMATH DE number 1765659
• scientific article; zbMATH DE number 976352
• scientific article; zbMATH DE number 4119665
• scientific article; zbMATH DE number 194631

Cites work

• A paradigm for reasoning by analogy
• A theory of abstraction
• Annotated reasoning
• Formal software development in the Verification Support Environment (VSE)
• scientific article; zbMATH DE number 1614690 (Why is no real title available?)
• scientific article; zbMATH DE number 4112064 (Why is no real title available?)
• scientific article; zbMATH DE number 3690750 (Why is no real title available?)
• scientific article; zbMATH DE number 3702108 (Why is no real title available?)
• scientific article; zbMATH DE number 1140677 (Why is no real title available?)
• scientific article; zbMATH DE number 1543304 (Why is no real title available?)
• scientific article; zbMATH DE number 1765659 (Why is no real title available?)
• scientific article; zbMATH DE number 2086587 (Why is no real title available?)
• IMPS: An interactive mathematical proof system
• Lazy abstraction
• Productive use of failure in inductive proof
• Proof transformations for evolutionary formal software development
• Proving theorems by reuse
• Rippling: Meta-Level Guidance for Mathematical Reasoning
• Solution of the Robbins problem

Cited in

(2)

• Combining assisted and automated deduction
• scientific article; zbMATH DE number 1765659 (Why is no real title available?)

Describes a project that uses

Uses Software

• OMRS
• MAYA
• PVS
• NQTHM
• IMPS

This page was built for publication: Deduction as an engineering science

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