Pages that link to "Item:Q4359289"
From MaRDI portal
The following pages link to Une condition impliquant toutes les identités rationnelles (Q4359289):
Displaying 23 items.
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- Completeness for flat modal fixpoint logics (Q638475) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Proving language inclusion and equivalence by coinduction (Q899321) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Left omega algebras and regular equations (Q1931903) (← links)
- Equational theories for automata (Q2074221) (← links)
- Left-handed completeness (Q2286746) (← links)
- Completeness results for omega-regular algebras (Q2347912) (← links)
- On the fine-structure of regular algebra (Q2352506) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Left-Handed Completeness (Q2915142) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Iteration Semirings (Q3532996) (← links)
- Completeness for Identity-free Kleene Lattices (Q5009432) (← links)
- (Q5079743) (← links)
- (Q5111642) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)