The following pages link to (Q5422237):
Displaying 7 items.
- Tree shuffle (Q389936) (← links)
- Algorithmic decomposition of shuffle on words (Q714805) (← links)
- On the uniqueness of shuffle on words and finite languages (Q837162) (← links)
- Decidability of trajectory-based equations (Q2575751) (← links)
- On Language Decompositions and Primality (Q3003471) (← links)
- Language Decompositions, Primality, and Trajectory-Based Operations (Q3602796) (← links)
- Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798) (← links)