Pages that link to "Item:Q1127320"
From MaRDI portal
The following pages link to Makanin's algorithm is not primitive recursive (Q1127320):
Displayed 7 items.
- Equations in free semigroups with involution and their relation to equations in free groups. (Q1401304) (← links)
- On PSPACE generation of a solution set of a word equation and its applications (Q2326385) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- SOLVABILITY OF EQUATIONS IN GRAPH GROUPS IS DECIDABLE (Q3430310) (← links)
- Solving one-variable equations in free groups (Q3619537) (← links)
- POLYNOMIAL-TIME COMPLEXITY FOR INSTANCES OF THE ENDOMORPHISM PROBLEM IN FREE GROUPS (Q5297787) (← links)
- An analysis of Makanin's algorithm deciding solvability of equations in free groups (Q6114505) (← links)