Manuscript Hawk04-D@1 · Hawk04-D-v1.tex · section · 39b16f67
Definitions
Complete interfaces and the finite operational core › Definitions · lines 420–426
This is the full-input constant-complement structure of exact correction KnillLaflamme,BraunsteinPati; compare the locally proved formulations in Hawk04-A/B/C CheungHawk04A,CheungHawk04B, CheungHawk04C.