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

first order theoryfree groupsfree monoidsword equations

Mathematics Subject Classification ID

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

Recommendations

• Equations with constraints on the solution in free groups
• scientific article; zbMATH DE number 1416098
• 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.
• scientific article; zbMATH DE number 1504570
• scientific article; zbMATH DE number 848041
• On some systems of equations with constraints in a free group. -- Addenda.

Cited in

(22)

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

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)