The following pages link to (Q3207206):
Displaying 7 items.
- Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre (Q797700) (← links)
- Sur la détermination du rang d'une équation dans le monoide libre (Q1161827) (← links)
- Avoiding slack variables in the solving of linear diophantine equations and inequations (Q1391934) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- T-string unification: Unifying prefixes in non-classical proof methods (Q4645241) (← links)
- The negation elimination from syntactic equational formula is decidable (Q5055804) (← links)
- Solving word equations (Q5916475) (← links)