The Structure of the One-Generated Free Domain Semiring

DOI10.1007/978-3-540-78913-0_18MaRDI QIDQ3498417zbMATH OpenOpenAlexFDO

Authors Peter Jipsen, Georg Struth

Publication date 15 May 2008

Published in Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-78913-0_18

Mathematics Subject Classification ID

Semirings (16Y60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algebraic theory of languages and automata (68Q70)

Recommendations

• Domain semirings united
• An effectively given initial semigroup
• One-generated semirings and additive divisibility
• Free Kleene algebras with domain
• Free semiring-representations and nondeterminism

Cites work

• Algebras of modal operators and partial correctness
• scientific article; zbMATH DE number 3245483 (Why is no real title available?)
• Kleene algebra with domain
• Modal Semirings Revisited
• Representations of distributive lattice-ordered semigroups with binary relations
• Representations of ordered semigroups and lattices by binary relations

Cited in

(3)

• An effectively given initial semigroup
• Free Kleene algebras with domain
• Internal axioms for domain semirings

This page was built for publication: The Structure of the One-Generated Free Domain Semiring

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