scientific article; zbMATH DE number 3649012
From MaRDI portal
Publication:3207206
Cited in
(7)- Sur la détermination du rang d'une équation dans le monoide libre
- Avoiding slack variables in the solving of linear diophantine equations and inequations
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- T-string unification: unifying prefixes in non-classical proof methods
- The negation elimination from syntactic equational formula is decidable
- Solving word equations
- Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3207206)