Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Iteration
Reachability sums and affine cone representations › Iteration · lines 926–930
This argument uses a translation-invariant increment rule, not commutation of independent reductions.
Manuscript En08-A@1 · En08-A.tex · section · c688d76d
Reachability sums and affine cone representations › Iteration · lines 926–930
This argument uses a translation-invariant increment rule, not commutation of independent reductions.