Pages that link to "Item:Q5945722"
From MaRDI portal
The following pages link to Decidability equivalence between the star problem and the finite power problem in trace monoids (Q5945722):
Displaying 7 items.
- Decidability of the star problem in \(A^*\times{}\{ b\}^*\) (Q1201865) (← links)
- The finite power problem revisited. (Q1853154) (← links)
- The star problem and the finite power property in trace monoids: Reductions beyond C4 (Q1854540) (← links)
- Two techniques in the area of the star problem in trace monoids (Q1884907) (← links)
- New results on the star problem in trace monoids (Q1893738) (← links)
- (Q4251054) (← links)
- (Q4938641) (← links)