The Structure of the One-Generated Free Domain Semiring

DOI10.1007/978-3-540-78913-0_18zbMath1140.68041OpenAlexW1488364853MaRDI QIDQ3498417

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

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

Related Items (2)

Internal axioms for domain semirings ⋮ Free Kleene algebras with domain

Cites Work

• Unnamed Item
• Algebras of modal operators and partial correctness
• Representations of distributive lattice-ordered semigroups with binary relations
• Modal Semirings Revisited
• Representations of ordered semigroups and lattices by binary relations
• Kleene algebra with domain

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