scientific article; zbMATH DE number 3649012
From MaRDI portal
Publication:3207206
zbMATH Open0417.20050MaRDI QIDQ3207206FDOQ3207206
Authors: Gennady S. Makanin
Publication date: 1978
Title of this publication is not available (Why is that?)
Cited In (7)
- Avoiding slack variables in the solving of linear diophantine equations and inequations
- Solutions principales et rang d'un système d'équations avec constantes dans le monoide libre
- Solving word equations
- T-string unification: unifying prefixes in non-classical proof methods
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups
- The negation elimination from syntactic equational formula is decidable
- Sur la détermination du rang d'une équation 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)