scientific article; zbMATH DE number 1114333

MaRDI QIDQ4376048zbMATH OpenFDO

Authors V. G. Durnev

Publication date 29 June 1998

zbMATH Keywords

free groupsfree semigroupspositive theoriessolvability of equations

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Free semigroups, generators and relations, word problems (20M05)

Recommendations

• Publication:4890617
• On equations with subgroup restrictions on solutions in free groups
• scientific article; zbMATH DE number 1748026
• On equations in free groups, not solvable with respect to the unknown, with constraints on solutions.

Cited in

(14)

• Equations in words and lengths with endomorphisms
• \(\forall \exists^{5}\)-equational theory of context unification is undecidable
• Algorithmic problems for free-Abelian times free groups.
• NP hardness of the problem of solvability of equations with simple right-hand side in a free group.
• scientific article; zbMATH DE number 4132435 (Why is no real title available?)
• What is essential unification?
• scientific article; zbMATH DE number 1748024 (Why is no real title available?)
• scientific article; zbMATH DE number 1748026 (Why is no real title available?)
• scientific article; zbMATH DE number 919761 (Why is no real title available?)
• scientific article; zbMATH DE number 7120897 (Why is no real title available?)
• On equations and inequalities in words and word lengths
• Multiplication of natural number parameters and equations in a free semigroup
• On equations in free monoids and semigroups with restrictions on solutions
• A closer look at the expressive power of logics based on word equations

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 Q4376048)