On equations in free monoids and semigroups with restrictions on solutions
From MaRDI portal
Publication:6168400
DOI10.17223/20710410/59/1MaRDI QIDQ6168400
Publication date: 8 August 2023
Published in: Prikladnaya Diskretnaya Matematika (Search for Journal in Brave)
Full work available at URL: http://mathnet.ru/eng/pdm791
equations in words and lengthsequations with restrictions on solutionssystems of equations in free monoids and free semigroups
Cites Work
- On equations in free semigroups and groups
- Positive theories of free monoids
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
- The existential theory of equations with rational constraints in free groups is PSPACE-complete
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
- Existential Definability in Arithmetic
- Makanin's algorithm for word equations-two improvements and a generalization
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item