1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
Volker Diekert, Florent Martin, Geraud Senizergues +1
We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEXPTIME) whether a system…