Implementation of proof schemes in the method of invariant transformations

DOI10.1007/BF01132092MaRDI QIDQ3034853zbMATH OpenFDO

Authors V. I. Martyanov, A. A. Kharmeev, N. P. Yakovlev

Publication date 1988

Published in Cybernetics (Search for Journal in Brave)

zbMATH Keywords

invariant transformationsproof schemes

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 4029505
• Specification methods and partial construction of theory by computer
• scientific article; zbMATH DE number 4077168
• Combining induction and saturation-based theorem proving
• Mathematical method and proof

Cites work

• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Non-resolution theorem proving
• Proving Properties of Programs by Structural Induction

Cited in

(3)

• scientific article; zbMATH DE number 4077168 (Why is no real title available?)
• Methods to ensure the invariance of transformation processes: reveal and systematization
• scientific article; zbMATH DE number 4029505 (Why is no real title available?)

This page was built for publication: Implementation of proof schemes in the method of invariant transformations

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