12 citations · 64 across the 32 of their papers we have counts for
Showing 2014 · cs.LOShow all
2 papers · 2 filters
cs.LO2014★ 1 cited
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…
cs.LO2014
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…