scientific article; zbMATH DE number 1748024
From MaRDI portal
Publication:4530220
Undecidability and degrees of sets of sentences (03D35) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
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
(19)- Equations in words and lengths with endomorphisms
- Undecidability of the freedom problem for 3-manifold groups.
- Unitriangular groups and undecidability
- NP hardness of the problem of solvability of equations with simple right-hand side in a free group.
- UNDECIDABILITY AND THE DEVELOPABILITY OF PERMUTOIDS AND RIGID PSEUDOGROUPS
- Satisfiability of equations in free groups is in \(\mathsf{PSPACE}\)
- Undecidability of first order sentences in the theory of free groupoids
- scientific article; zbMATH DE number 3916533 (Why is no real title available?)
- scientific article; zbMATH DE number 4093751 (Why is no real title available?)
- scientific article; zbMATH DE number 665291 (Why is no real title available?)
- scientific article; zbMATH DE number 703526 (Why is no real title available?)
- Equations in algebras
- Undecidability of equations in free Lie algebras
- scientific article; zbMATH DE number 804141 (Why is no real title available?)
- FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
- An analysis of Makanin's algorithm deciding solvability of equations in free groups
- A simple undecidable problem for free groups
- Group equations with abelian predicates
- Algorithmic undecidability of compatibility problem for equations in free groups: explicit equations with one commutator-type constraint
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)
