On \(*\)-\(\lambda\)-semirings. (Q2456471): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Jun, Young Bae / rank | |||
Property / reviewed by | |||
Property / reviewed by: Magnus Steinby / rank | |||
Property / author | |||
Property / author: Jun, Young Bae / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Magnus Steinby / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.ins.2007.05.019 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1985776806 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Matrix and matricial iteration theories. I / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterizing determinacy in Kleene algebras / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Inductive \(^{*}\)-semirings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Algebraically complete semirings and Greibach normal form / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally closed semirings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(*\)-\(\mu\)-semirings and \(*\)-\(\lambda\)-semirings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4449426 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4433737 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3358736 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3704880 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Kleene modules and linear languages / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3735051 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A lattice-theoretical fixpoint theorem and its applications / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 11:17, 27 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On \(*\)-\(\lambda\)-semirings. |
scientific article |
Statements
On \(*\)-\(\lambda\)-semirings. (English)
0 references
18 October 2007
0 references
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.
0 references
\(*\)-\(\lambda\)-semirings
0 references
fixed points
0 references
ordered semirings
0 references
formal power series
0 references
inductive semirings
0 references