activity
20002023
most citedEquations over free inverse monoids with idempotent variables

1 citations · 1 across the 6 of their papers we have counts for

collaborators
Showing 2014Show all

2 papers · 1 filter

cs.FL2014

FREC 14: FRontiers of RECognizability

Géraud Sénizergues

These proceedings are gathering twelve different research papers developping the theory of recognizability for various kinds of discrete objects: words. terms, graphs, etc...

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…