scientific article; zbMATH DE number 1748024
From MaRDI portal
Publication:4530220
Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Undecidability and degrees of sets of sentences (03D35)
Recommendations
- On equations with subgroup restrictions on solutions in free groups
- scientific article; zbMATH DE number 1114333
- scientific article; zbMATH DE number 709736
- Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint
- On equations in free groups with restrictions on solutions.
Cited in
(18)- Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint
- UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- Undecidability of the freedom problem for 3-manifold groups.
- An analysis of Makanin's algorithm deciding solvability of equations in free groups
- Undecidability of first order sentences in the theory of free groupoids
- Unitriangular groups and undecidability
- Equations in algebras
- Group equations with abelian predicates
- Equations in words and lengths with endomorphisms
- scientific article; zbMATH DE number 3916533 (Why is no real title available?)
- scientific article; zbMATH DE number 804141 (Why is no real title available?)
- scientific article; zbMATH DE number 665291 (Why is no real title available?)
- scientific article; zbMATH DE number 4093751 (Why is no real title available?)
- NP hardness of the problem of solvability of equations with simple right-hand side in a free group.
- Undecidability of equations in free Lie algebras
- A simple undecidable problem for free groups
- Satisfiability of equations in free groups is in \(\mathsf{PSPACE}\)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4530220)
