Pages that link to "Item:Q1177930"
From MaRDI portal
The following pages link to Complete systems of \(\mathcal B\)-rational identities (Q1177930):
Displayed 31 items.
- Rewriting extended regular expressions (Q673635) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← links)
- Axiomatizing the identities of binoid languages (Q870834) (← links)
- Equational properties of iteration in algebraically complete categories (Q1128480) (← links)
- Models of a \(K\)-rational identity system (Q1201883) (← links)
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based (Q1274921) (← links)
- Group axioms for iteration (Q1283821) (← links)
- A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring (Q1341738) (← links)
- On dynamic algebras (Q1341742) (← links)
- Notes on equational theories of relations (Q1344844) (← links)
- An equational axiomatization for multi-exit iteration (Q1369097) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- The multiplicative fragment of the Yanov equational theory (Q1399998) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Algebraically complete semirings and Greibach normal form (Q1772777) (← links)
- Automata, Boolean matrices, and ultimate periodicity. (Q1854295) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Equational theories of tropical semirings (Q1874279) (← links)
- Inductive \(^{*}\)-semirings (Q1882911) (← links)
- On the Burnside problem for semigroups of matrices in the \((\max,+)\) algebra (Q1914078) (← links)
- Models of nondeterministic regular expressions (Q1970200) (← links)
- The variety of Kleene algebras with conversion is not finitely based (Q1978513) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- Iteration Semirings (Q3532996) (← links)
- Une condition impliquant toutes les identités rationnelles (Q4359289) (← 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)