摘要: 在由半环诱导的赋值代数中,通过半环同态与赋值的复合得到了一个新的赋值代数。证明了嵌入同态保持赋值的解轮廓,推广了赋值的解扩展定理。
中图分类号:
管雪冲1,2,李永明3. 半环诱导的赋值代数的解轮廓和解扩展[J]. 计算机工程与应用, 2010, 46(35): 42-44.
GUAN Xue-chong1,2,LI Yong-ming3. Solution configurations and solution extensions of semiring-induced valuation algebra[J]. Computer Engineering and Applications, 2010, 46(35): 42-44.