Recommendations
Cited in
(27)- On the relation between context and sequence unification
- Makanin's algorithm is not primitive recursive
- Unification in commutative semigroups
- Equations in free semigroups with involution and their relation to equations in free groups.
- Solvability of context equations with two context variables is decidable
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable
- Monadic simultaneous rigid E-unification
- Word equations in non-deterministic linear space
- On PSPACE generation of a solution set of a word equation and its applications
- On the complexity of computation maximal exponent of periodicity of word equations and expressible relations (note)
- Decidability of bounded higher-order unification
- The existential theory of equations with rational constraints in free groups is PSPACE-complete
- Two-variable word equations
- More than 1700 years of word equations
- Finding all solutions of equations in free groups and monoids with involution
- Towards Decidability of Conjugacy of Pairs and Triples
- scientific article; zbMATH DE number 1189059 (Why is no real title available?)
- The expressibility of languages and relations by word equations
- Monadic simultaneous rigid E-unification and related problems
- EXPONENT OF PERIODICITY OF WORD EQUATIONS IN FIXED DIMENSION IS POLYNOMIAL
- Efficient solving of the word equations in one variable
- The hardness of solving simple word equations
- On equality up-to constraints over finite trees, context unification, and one-step rewriting
- On word equations in one variable
- An analysis of Makanin's algorithm deciding solvability of equations in free groups
- FC-Datalog as a framework for efficient string querying
- Extending free pregroups with lower bounds
This page was built for publication: Complexity of Makanin's algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4371685)
