Pages that link to "Item:Q2573633"

The following pages link to The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633):

Displaying 29 items.

• Finding all solutions of equations in free groups and monoids with involution (Q342722) (← links)
• Submonoids and rational subsets of groups with infinitely many ends. (Q606649) (← links)
• Constrained synchronization and subset synchronization problems for weakly acyclic automata (Q832939) (← links)
• On equations in free semigroups with certain constraints on their solutions. (Q843606) (← links)
• The isomorphism problem for toral relatively hyperbolic groups. (Q1044356) (← links)
• Diophantine geometry over groups. II: Completions, closures and formal solutions (Q1812255) (← links)
• Computational complexity of synchronization under sparse regular constraints (Q2140506) (← links)
• Word equations in the context of string solving (Q2163975) (← links)
• Constrained synchronization and commutativity (Q2235741) (← links)
• Word equations in non-deterministic linear space (Q2237894) (← links)
• Equations in groups that are virtually direct products (Q2282983) (← links)
• Ideal separation and general theorems for constrained synchronization and their application to small constraint automata (Q2695284) (← links)
• Linear estimates for solutions of quadratic equations in free groups. (Q2882397) (← links)
• Random equations in free groups. (Q2884689) (← links)
• The generalized conjugacy problem for virtually free groups (Q3006391) (← links)
• On systems of equations over free partially commutative groups (Q3091752) (← links)
• Asymptotic invariants, complexity of groups and related problems (Q3143713) (← links)
• Solutions to twisted word equations and equations in virtually free groups (Q3299596) (← links)
• WORD EQUATIONS OVER GRAPH PRODUCTS (Q3521473) (← links)
• AUTOMORPHIC ORBITS IN FREE GROUPS: WORDS VERSUS SUBGROUPS (Q3580224) (← links)
• Solving one-variable equations in free groups (Q3619537) (← links)
• SLP compression for solutions of equations with constraints in free and hyperbolic groups (Q5246505) (← links)
• Graph Logics with Rational Relations (Q5278208) (← links)
• EQUATIONS IN FREE INVERSE MONOIDS (Q5386970) (← links)
• Decision procedures for sequence theories (Q6535526) (← links)
• First steps towards taming description logics with strings (Q6545544) (← links)
• A closer look at the expressive power of logics based on word equations (Q6580075) (← links)
• Conjugacy in Miller's groups (Q6654578) (← links)
• Languages generated by conjunctive query fragments of FC[REG] (Q6661764) (← links)