On equations in free semigroups with certain constraints on their solutions.
From MaRDI portal
Publication:843606
DOI10.1007/s10958-009-9409-zzbMath1183.20060OpenAlexW1965596005MaRDI QIDQ843606
Publication date: 15 January 2010
Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10958-009-9409-z
Free semigroups, generators and relations, word problems (20M05) Undecidability and degrees of sets of sentences (03D35) Algebraic geometry over groups; equations over groups (20F70)
Related Items (2)
Cites Work
- Generalization of problem 9.25 from ``The Kourovka notebook
- 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
- Coding in the existential theory of concatenation
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: On equations in free semigroups with certain constraints on their solutions.