We develop rigorous theoretical foundations to simplify equivalence examination and correction for partially equivalent transformations, and design an efficient search algorithm to quickly discover ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results