The following pages link to (Q3030266):
Displaying 14 items.
- 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)
- On dynamic algebras (Q1341742) (← links)
- Nonaxiomatisability of equivalences over finite state processes (Q1377607) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Completeness of Park induction (Q1391869) (← links)
- Equational theories for automata (Q2074221) (← links)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Iteration Semirings (Q3532996) (← links)
- Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
- Solving polynomial fixed point equations (Q5096869) (← links)
- Some quasi-varieties of iteration theories (Q5890058) (← links)
