News
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore, it is shown that ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results