Implementation of proof schemes in the method of invariant transformations

DOI10.1007/BF01132092zbMath0692.68064MaRDI QIDQ3034853

Vladimir Ivanovich Mart'yanov, N. P. Yakovlev, A. A. Kharmeev

Publication date: 1988

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

invariant transformationsproof schemes

Mathematics Subject Classification ID

Cites Work

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

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