The following pages link to (Q4896924):
Displaying 5 items.
- Complete systems of \(\mathcal B\)-rational identities (Q1177930) (← links)
- On the equational definition of the least prefixed point. (Q1401250) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Iteration Semirings (Q3532996) (← links)