Logic-term equivalent transformations of Yanov schemata

MaRDI QIDQ1132563zbMATH OpenFDO

Authors L. I. Sin

Publication date 1978

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

logic-term equivalent transformations of Yanov schemata

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Logic-term equivalent transformations of Yanov schemata

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