TY - RPRT TI - Finite bases and joins for semirings defined by the divisibility order AU - Xiaolei Shao AU - Zidong Gao PY - 2026 UR - https://arxiv.org/abs/2609.26396 ID - 2609.26396 ER -