We also consider the usual axioms of the theory of arrays (see for instance [4]): (4) select(store(t, x, v), a.) > v (5) a ~ y V select(store(t, x, v), ...
確定! 回上一頁