Partial Conway and Iteration Semiring-Semimodule Pairs
From MaRDI portal
Publication:3098033
DOI10.1007/978-3-642-24897-9_3zbMath1318.68120OpenAlexW111949207MaRDI QIDQ3098033
Publication date: 11 November 2011
Published in: Algebraic Foundations in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24897-9_3
Related Items
Kleene Theorem in Partial Conway Theories with Applications, Conway and iteration hemirings Part 1, Conway and iteration hemirings Part 2
Cites Work
- Complete systems of \(\mathcal B\)-rational identities
- Matricial theories
- Group axioms for iteration
- A completeness theorem for Kleene algebras and the algebra of regular events
- Inductive \(^{*}\)-semirings
- Matrix and matricial iteration theories. I
- Axiomatizing rational power series over natural numbers
- On iteration semiring-semimodule pairs.
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item