Implementation of proof schemes in the method of invariant transformations

DOI10.1007/BF01132092zbMATH Open0692.68064MaRDI QIDQ3034853FDOQ3034853

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

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

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

zbMATH Keywords

invariant transformationsproof schemes

Mathematics Subject Classification ID

Cites Work

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

Cited In (3)

• Methods to ensure the invariance of transformation processes: reveal and systematization
• Title not available (Why is that?)
• Title not available (Why is that?)

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)