Pages that link to "Item:Q3479525"
From MaRDI portal
The following pages link to Une remarque sur les systèmes complets d'identités rationnelles (Q3479525):
Displaying 32 items.
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Complete systems of \(\mathcal B\)-rational identities (Q1177930) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- Equational theories for automata (Q2074221) (← links)
- Pentasia (Q2153980) (← 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)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← 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)
- Une condition impliquant toutes les identités rationnelles (Q4359289) (← links)
- Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
- A Finite Axiomatization of Nondeterministic Regular Expressions (Q4943553) (← links)
- (Q5111642) (← links)
- Equational properties of fixed-point operations in cartesian categories: An overview (Q5377703) (← links)
- (Q5875344) (← links)
- (Q5875403) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)
- Completeness theorems for Kleene algebra with tests and top (Q6635510) (← links)
