scientific article
From MaRDI portal
Publication:3207206
zbMath0417.20050MaRDI QIDQ3207206
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
The negation elimination from syntactic equational formula is decidable ⋮ On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Avoiding slack variables in the solving of linear diophantine equations and inequations ⋮ Sur la détermination du rang d'une équation dans le monoide libre ⋮ T-string unification: Unifying prefixes in non-classical proof methods ⋮ 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: