18 citations · 59 across the 11 of their papers we have counts for
1 paper · 1 filter
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…