Axiomatizing rational power series over natural numbers
From MaRDI portal
Publication:2389332
DOI10.1016/j.ic.2009.02.003zbMath1167.68036OpenAlexW2083527366MaRDI QIDQ2389332
Publication date: 15 July 2009
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2009.02.003
Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Semirings (16Y60)
Related Items
A connection between concurrency and language theory ⋮ Free inductive \(K\)-semialgebras ⋮ Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview ⋮ Free iterative and iteration \(K\)-semialgebras ⋮ Convergence of Newton's method over commutative semirings ⋮ Equational properties of fixed-point operations in cartesian categories: An overview ⋮ Iteration Semirings ⋮ A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata ⋮ Dagger extension theorem ⋮ Partial Conway and Iteration Semiring-Semimodule Pairs ⋮ Kleene Theorem in Partial Conway Theories with Applications ⋮ Equational theories for automata ⋮ Conway and iteration hemirings Part 1
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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Handbook of weighted automata
- A complete inference system for a class of regular behaviours
- A complete axiom system for rational sets with multiplicity
- Complete systems of \(\mathcal B\)-rational identities
- Models of a \(K\)-rational identity system
- Group axioms for iteration
- A completeness theorem for Kleene algebras and the algebra of regular events
- A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring
- The equational logic of fixed points
- Equational theories of tropical semirings
- Inductive \(^{*}\)-semirings
- Matrix and matricial iteration theories. I
- On the definition of a family of automata
- Conjugacy and Equivalence of Weighted Automata and Functional Transducers
- Une remarque sur les systèmes complets d'identités rationnelles
- Newton’s Method for ω-Continuous Semirings
- On Fixed Point Equations over Commutative Semirings
- Equational axioms for regular sets
- THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
- Une condition impliquant toutes les identités rationnelles
- Two Complete Axiom Systems for the Algebra of Regular Events
- STACS 2005
- Automata, Languages and Programming
This page was built for publication: Axiomatizing rational power series over natural numbers
