Solution configurations and solution extensions of semiring-induced valuation algebra
Yongming Li · Computer Engineering and Applications Journal · 2010
In the semiring-induced valuation algebra,by composition of semiring homomorphism with valuations,a new valua-tion algebra is gotten.It has been proved that semiring homomorphisms preserve the solution configurations of valuation.It al-so has given a generalization of the theorem of solution extension of valuations.