scientific article; zbMATH DE number 1941341

MaRDI QIDQ4408477zbMATH OpenFDO

Authors Christian Hagenah

Publication date 29 June 2003

Full work available at URL http://d-nb.info/95972396x

zbMATH Keywords

free groupsword equationsfree monoidsfirst order theory

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Combinatorics on words (68R15) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• Equations with constraints on the solution in free groups
• Publication:4943314
• On equations in free groups with restrictions on solutions.
• On equations with subgroup restrictions on solutions in free groups
• scientific article; zbMATH DE number 4083904
• scientific article; zbMATH DE number 1870476
• On equations in free groups, not solvable with respect to the unknown, with constraints on solutions.
• Publication:4502521
• Publication:4867093
• On some systems of equations with constraints in a free group. -- Addenda.

Cited in

(21)

• Solutions of word equations over partially commutative structures
• A NOTE ON THE EXISTENTIAL THEORY OF EQUATIONS IN PLAIN GROUPS
• scientific article; zbMATH DE number 2086411 (Why is no real title available?)
• Leaf languages and string compression
• The fully compressed subgroup membership problem
• STACS 2004
• Compressed membership in automata with compressed labels
• Algorithms for contractibility of compressed curves on 3-manifold boundaries
• The compressed word problem in relatively hyperbolic groups
• Complexity of word problems for HNN-extensions
• Complexity of word problems for HNN-extensions
• SLP compression for solutions of equations with constraints in free and hyperbolic groups.
• Equations with constraints on the solution in free groups
• scientific article; zbMATH DE number 1688361 (Why is no real title available?)
• Finding all solutions of equations in free groups and monoids with involution
• Compressed word problems in HNN-extensions and amalgamated products
• scientific article; zbMATH DE number 7559146 (Why is no real title available?)
• The existential theory of equations with rational constraints in free groups is PSPACE-complete
• Complexity of regular language matching and other decidable cases of the satisfiability problem for constraints between regular open terms
• Solutions to twisted word equations and equations in virtually 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 Q4408477)