114
Voted
IJAC
2007
15 years 3 months ago
2007
It is known that the problem of determining consistency of a finite system of equations in a free group or a free monoid is decidable, but the corresponding problem for systems o...