The following pages link to (Q4251054):
Displaying 7 items.
- Decidability of the star problem in \(A^*\times{}\{ b\}^*\) (Q1201865) (← links)
- Undecidable properties of monoids with word problem solvable in linear time. II: Cross sections and homological and homotopical finiteness conditions. (Q1399980) (← 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)
- (Q4938641) (← links)
- Decidability equivalence between the star problem and the finite power problem in trace monoids (Q5945722) (← links)
