Equations over free inverse monoids with idempotent variables
From MaRDI portal
Publication:2411041
DOI10.1007/s00224-016-9693-1zbMath1404.20046arXiv1412.4737OpenAlexW1829010469MaRDI QIDQ2411041
Pedro V. Silva, Florent Martin, Géraud Sénizergues, Volker Diekert
Publication date: 20 October 2017
Published in: Lecture Notes in Computer Science, Theory of Computing Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1412.4737
Analysis of algorithms and problem complexity (68Q25) Free semigroups, generators and relations, word problems (20M05) Inverse semigroups (20M18)
Related Items
Equations over free inverse monoids with idempotent variables ⋮ On equations and first-order theory of one-relator monoids
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Diophantine theories of free inverse semigroups
- Groupoids, inverse semigroups, and their operator algebras
- Equations over free inverse monoids with idempotent variables
- Satisfiability of word equations with constants is in NEXPTIME
- Recompression
- Satisfiability of equations in free groups is in PSPACE
- Solution Sets for Equations over Free Groups are EDT0L Languages
- Satisfiability of word equations with constants is in PSPACE
- Solving one-variable equations in free groups
- Free Inverse Semigroups
- Finding All Solutions of Equations in Free Groups and Monoids with Involution
- EQUATIONS IN FREE INVERSE MONOIDS
- One-Variable Equations in Free Groups
- Free Inverse Semigroups
- Unification of concept terms in description logics