Pages that link to "Item:Q3191967"
From MaRDI portal
The following pages link to Satisfiability of equations in free groups is in PSPACE (Q3191967):
Displayed 8 items.
- Finding all solutions of equations in free groups and monoids with involution (Q342722) (← links)
- Simplifying the signature in second-order unification (Q843951) (← links)
- Equations in free semigroups with involution and their relation to equations in free groups. (Q1401304) (← links)
- Equations over free inverse monoids with idempotent variables (Q2411041) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- More Than 1700 Years of Word Equations (Q2947143) (← links)
- Solutions to twisted word equations and equations in virtually free groups (Q3299596) (← links)
- Quadratic equations in hyperbolic groups are NP-complete (Q5267969) (← links)