Inductive \(^{*}\)-semirings
From MaRDI portal
Publication:1882911
DOI10.1016/j.tcs.2004.03.050zbMath1105.68062OpenAlexW187758485MaRDI QIDQ1882911
Publication date: 1 October 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.03.050
Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Related Items (18)
*-Continuous Kleene $$\omega $$-Algebras ⋮ Axiomatizing rational power series over natural numbers ⋮ Inductive semimodules and the vector modules over them. ⋮ Continuous monoids and semirings ⋮ Free inductive \(K\)-semialgebras ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Iteration Semirings ⋮ Axiomatizing weighted synchronization trees and weighted bisimilarity ⋮ On \(*\)-\(\lambda\)-semirings. ⋮ A Unifying Kleene Theorem for Weighted Finite Automata ⋮ A unifying approach to algebraic systems over semirings ⋮ Algebraically complete semirings and Greibach normal form ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Equational theories for automata ⋮ A Mezei-Wright theorem for categorical algebras ⋮ \(*\)-\(\mu\)-semirings and \(*\)-\(\lambda\)-semirings
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Complete systems of \(\mathcal B\)-rational identities
- Varieties of ordered algebras
- Group axioms for iteration
- Matrix and matricial iteration theories. I
- Equational axioms for regular sets
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
This page was built for publication: Inductive \(^{*}\)-semirings
