The following pages link to (Q3030266):
Displayed 8 items.
- Rewriting extended regular expressions (Q673635) (← links)
- Equational properties of Kleene algebras of relations with conversion (Q674338) (← 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)
- Axiomatizing rational power series over natural numbers (Q2389332) (← links)
- Iteration Semirings (Q3532996) (← links)