Pages that link to "Item:Q1177930"
From MaRDI portal
The following pages link to Complete systems of \(\mathcal B\)-rational identities (Q1177930):
Displaying 20 items.
- *-Continuous Kleene $$\omega $$-Algebras (Q3451106) (← links)
- Iteration Semirings (Q3532996) (← links)
- Une condition impliquant toutes les identités rationnelles (Q4359289) (← links)
- Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
- There is no complete axiom system for shuffle expressions (Q4718894) (← links)
- THE POWER OF THE GROUP-IDENTITIES FOR ITERATION (Q4786253) (← links)
- A Fully Equational Proof of Parikh's Theorem (Q4787831) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- Rational and Recognisable Power Series (Q5072546) (← links)
- (Q5079743) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Discrete-Event Systems in a Dioid Framework: Control Theory (Q5496940) (← links)
- (Q5875403) (← links)
- A Finite Axiomatisation of Finite-State Automata Using String Diagrams (Q5883739) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
- Cyclic hypersequent system for transitive closure logic (Q6050767) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
