TY - RPRT TI - Valuations of Semirings AU - Jaiung Jun PY - 2017 UR - https://arxiv.org/abs/1503.01392 ID - 1503.01392 ER -