Sciweavers

2 search results - page 1 / 1
» A Note on The Existential Theory of Equations in Plain Group...
Sort
View
93
Voted
FSTTCS
2003
Springer
15 years 3 months ago
Word Equations over Graph Products
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...
Volker Diekert, Markus Lohrey