On *--semirings.

From MaRDI portal
Publication:2456471





A \(*\)-\(\lambda\)-semiring is an ordered semiring \(S\) with a star operation in which, for any \(a,b\in S\), \(a^*b\) is the least fixed point of the linear mapping \(x\mapsto ax+b\). The special cases of this notion include continuous semirings and Kleene algebras. The authors prove several facts about such algebras and show how they are related to some other algebras defined by similar fixed point conditions or induction rules. They also consider formal power series over \(*\)-\(\lambda\)-semirings.











This page was built for publication: On \(*\)-\(\lambda\)-semirings.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2456471)