TY - RPRT TI - When does a semiring become a residuated lattice? AU - Ivan Chajda AU - Helmut Länger PY - 2018 DO - 10.1142/s1793557116500881 UR - https://arxiv.org/abs/1809.07646 ID - 1809.07646 ER -