Pages that link to "Item:Q797700"
From MaRDI portal
The following pages link to Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre (Q797700):
Displaying 6 items.
- Solvability of word equations modulo finite special and confluent string-rewriting systems is undecidable in general (Q673984) (← links)
- Systèmes entiers d'équations sur un alphabet fini et conjecture d'Ehrenfeucht (Q1087020) (← links)
- Makanin's algorithm is not primitive recursive (Q1127320) (← links)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685) (← links)
- Solving word equations (Q5899816) (← links)
- Solving word equations (Q5916475) (← links)