Go to content
UR Home

Equations Over Free Inverse Monoids with Idempotent Variables

Diekert, Volker ; Martin, Florent ; Sénizergues, Géraud ; Silva, Pedro V.



Abstract

We introduce the notion of idempotent variables for studying equations in inverse monoids. It is proved that it is decidable in singly exponential time (DEX-PTIME) whether a system of equations in idempotent variables over a free inverse monoid has a solution. Moreover the problem becomes hard for DEXPTIME, as soon as the quotient group of the free inverse monoid has rank at least two. The upper ...

plus


Owner only: item control page
  1. Homepage UR

University Library

Publication Server

Contact:

Publishing: oa@ur.de
0941 943 4239

Dissertations: dissertationen@ur.de
0941 943 3904

Research data: daten@ur.de
0941 943 4239

Contact persons