Partial Conway and iteration semirings

S. L. Bloom, Z. Esik, W. Kuich

A Conway semiring is a semiring $S$ equipped with a unary operation ${}^{\ast }:S\to S$, always called 'star', satisfying the sum star and product star identities. It is known that these…