The following pages link to (Q2736337):
Displaying 8 items.
- Free shuffle algebras in language varieties (Q671351) (← links)
- Bisimulation and action refinement (Q685407) (← links)
- Axiomatizing the subsumption and subword preorders on finite and infinite partial words (Q1605337) (← links)
- Algebra and theory of order-deterministic pomsets (Q1815430) (← links)
- Concurrent testing of processes (Q1902297) (← links)
- Nonfinite axiomatizability of the equational theory of shuffle (Q4645164) (← links)
- Free shuffle algebras in language varieties extended abstract (Q5096327) (← links)
- Nonfinite axiomatizability of shuffle inequalities (Q5096740) (← links)