The following pages link to Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general (Q673984):
Displayed 1 item.