Manuscript Oai280-C@1 · Oai280-C.tex · section · 7d44b8c0
The constant-complement criterion is a full-code statement
Recovery criteria and snapshot determination › The constant-complement criterion is a full-code statement · lines 393–400
This elementary example prevents an inappropriate full-code premise from entering an algebra or subsystem claim. It is consistent with the subsystem and algebra scope of BenyKempfKribs,BenyKempfKribsPRA and the full-code interface reported in CheungVIIG,CheungEm05B.