The following pages link to (Q5596827):
Displaying 11 items.
- Free inductive \(K\)-semialgebras (Q383784) (← links)
- Complete systems of \(\mathcal B\)-rational identities (Q1177930) (← links)
- On a question of A. Salomaa The equational theory of regular expressions over a singleton alphabet is not finitely based (Q1274921) (← links)
- A complete system of identities for one-letter rational expressions with multiplicities in the tropical semiring (Q1341738) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- On axioms for commutative regular equations without addition. (Q1853544) (← links)
- On equations for union-free regular languages (Q1854402) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Algorithmic complexity for theories of commutative Kleene algebras (Q6492397) (← links)
