Program schemata over cyclic interpretations

MaRDI QIDQ1157150zbMATH OpenFDO

Authors L. P. Lisovik

Publication date 1981

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

zbMATH Keywords

equivalence problemunary recursive schemataYanov schemata

Mathematics Subject Classification ID

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

This page was built for publication: Program schemata over cyclic interpretations

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