2 search results - page 1 / 1 » A Note on The Existential Theory of Equations in Plain Group... |
59
Voted
IJAC
2002
14 years 10 months ago
2002
96
Voted
FSTTCS
2003
Springer
15 years 4 months ago
2003
Springer
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...