Approximate completeness of the system of equivalent schema transformations

MaRDI QIDQ1170022zbMATH OpenFDO

Authors N. A. Krinitskij

Publication date 1982

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

zbMATH Keywords

algorithm logic schemata

Mathematics Subject Classification ID

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

This page was built for publication: Approximate completeness of the system of equivalent schema transformations

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