In Ref. [1] it has been pointed out that in the course of tracing an A0-type loop in accordance with serial arithmetic semantics, the occurrences of elements constitute a rank. For any given A0-type loop, Theorem 1 pr...In Ref. [1] it has been pointed out that in the course of tracing an A0-type loop in accordance with serial arithmetic semantics, the occurrences of elements constitute a rank. For any given A0-type loop, Theorem 1 proves that the occurrence rank of its elements is to be the only determined, and Theorem 2展开更多
文摘In Ref. [1] it has been pointed out that in the course of tracing an A0-type loop in accordance with serial arithmetic semantics, the occurrences of elements constitute a rank. For any given A0-type loop, Theorem 1 proves that the occurrence rank of its elements is to be the only determined, and Theorem 2
