Free iterative and iteration \(K\)-semialgebras
From MaRDI portal
Publication:412016
DOI10.1007/s00012-012-0179-yzbMath1260.08001arXiv1008.1507MaRDI QIDQ412016
Publication date: 3 May 2012
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1008.1507
rational power series; iterative \(K\)-semialgebra; iterative semiring; partial iteration \(K\)-semialgebra; partial iteration semiring
08A70: Applications of universal algebra in computer science
68Q70: Algebraic theory of languages and automata
16Y60: Semirings
Related Items
Free inductive \(K\)-semialgebras, Axiomatizing weighted synchronization trees and weighted bisimilarity, Conway and iteration hemirings Part 1, Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview
Cites Work
- A complete axiom system for rational sets with multiplicity
- Complete systems of \(\mathcal B\)-rational identities
- Group axioms for iteration
- A completeness theorem for Kleene algebras and the algebra of regular events
- Simple program schemes and formal languages
- Inductive \(^{*}\)-semirings
- Axiomatizing rational power series over natural numbers
- On the definition of a family of automata
- On a Theorem of R. Jungen
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- Cycle-Free Finite Automata in Partial Iterative Semirings
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Two Complete Axiom Systems for the Algebra of Regular Events
- On Kleene algebras
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item