12 citations · 64 across the 32 of their papers we have counts for
3 papers · 1 filter
Equations over free inverse monoids with idempotent variables
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…
A Survey on the Local Divisor Technique
Volker Diekert, Manfred Kufleitner
Local divisors allow a powerful induction scheme on the size of a monoid. We survey this technique by giving several examples of this proof method. These applications include linea…
Finding All Solutions of Equations in Free Groups and Monoids with Involution
Volker Diekert, Artur Jeż, Wojciech Plandowski
The aim of this paper is to present a PSPACE algorithm which yields a finite graph of exponential size and which describes the set of all solutions of equations in free groups as w…