Multi-Linear Iterative K-Σ-Semialgebras
From MaRDI portal
Publication:5739356
DOI10.1016/j.entcs.2011.09.020zbMath1345.08004OpenAlexW2149887641WikidataQ113318226 ScholiaQ113318226MaRDI QIDQ5739356
Publication date: 15 July 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.020
Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Related Items
Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview, Equational properties of fixed-point operations in cartesian categories: An overview, A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free iterative and iteration \(K\)-semialgebras
- Iterative and recursive matrix theories
- Iterative algebras
- Handbook of weighted automata
- A complete inference system for a class of regular behaviours
- Unique fixed points vs. least fixed points
- A complete axiom system for rational sets with multiplicity
- A complete axiomatisation for observational congruence of finite-state behaviours
- Matrix and matricial iteration theories. I
- Simulations of Weighted Tree Automata
- Iterative algebras at work
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
- Two Complete Axiom Systems for the Algebra of Regular Events
- Automata, Languages and Programming