Iteration Semirings
From MaRDI portal
Publication:3532996
Recommendations
Cites work
- A complete axiom system for rational sets with multiplicity
- A complete axiomatisation for observational congruence of finite-state behaviours
- A complete axiomatisation for trace congruence of finite state behaviors
- A complete inference system for a class of regular behaviours
- A completeness theorem for Kleene algebras and the algebra of regular events
- A GENERALIZATION OF KOZEN'S AXIOMATIZATION OF THE EQUATIONAL THEORY OF THE REGULAR SETS
- A Kleene-Schützenberger Theorem for Weighted Timed Automata
- Algebraic semantics
- An Equational Axiomatization of Bisimulation over Regular Expressions
- Axiomatizing rational power series over natural numbers
- Complete systems of \(\mathcal B\)-rational identities
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- Equational axioms for regular sets
- Group axioms for iteration
- scientific article; zbMATH DE number 4018407 (Why is no real title available?)
- scientific article; zbMATH DE number 4178794 (Why is no real title available?)
- scientific article; zbMATH DE number 41838 (Why is no real title available?)
- scientific article; zbMATH DE number 3470374 (Why is no real title available?)
- scientific article; zbMATH DE number 3497806 (Why is no real title available?)
- scientific article; zbMATH DE number 3512082 (Why is no real title available?)
- scientific article; zbMATH DE number 3639689 (Why is no real title available?)
- scientific article; zbMATH DE number 1358710 (Why is no real title available?)
- scientific article; zbMATH DE number 938515 (Why is no real title available?)
- scientific article; zbMATH DE number 233974 (Why is no real title available?)
- scientific article; zbMATH DE number 5499328 (Why is no real title available?)
- scientific article; zbMATH DE number 3316966 (Why is no real title available?)
- scientific article; zbMATH DE number 3316967 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- Inductive \(^{*}\)-semirings
- Initial Algebra Semantics and Continuous Algebras
- Matrix versions of aperiodic K-rational identities
- Monoides et semi-anneaux complets. (Complete monoids and semirings)
- Monoides et semi-anneaux continus. (Continuous monoids and semirings)
- On limits in complete semirings
- On the algebraic structure of rooted trees
- Rationally additive semirings.
- Two Complete Axiom Systems for the Algebra of Regular Events
- Une condition impliquant toutes les identités rationnelles
- Une remarque sur les systèmes complets d'identités rationnelles
Cited in
(17)- Locally closed semirings and iteration semirings.
- Locally closed semirings
- Equational theories for automata
- Matrix and matricial iteration theories. I
- Axiomatizing rational power series over natural numbers
- Axiomatizing weighted synchronization trees and weighted bisimilarity
- On iteration semiring-semimodule pairs.
- Conway and iteration hemirings. I.
- Conway and iteration hemirings. II.
- scientific article; zbMATH DE number 3844044 (Why is no real title available?)
- ^*-continuous Kleene -algebras
- scientific article; zbMATH DE number 3904794 (Why is no real title available?)
- Free inductive K-semialgebras
- Equational axioms for regular sets
- scientific article; zbMATH DE number 5499328 (Why is no real title available?)
- 𝖲𝖾𝖺𝗅𝗂𝗇𝗀 from iterability
- Möbius inversion formula for monoids with zero.
This page was built for publication: Iteration Semirings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3532996)
