The following pages link to (Q4408477):
Displaying 15 items.
- Finding all solutions of equations in free groups and monoids with involution (Q342722) (← links)
- Leaf languages and string compression (Q550251) (← links)
- Compressed word problems in HNN-extensions and amalgamated products (Q639849) (← links)
- Equations with constraints on the solution in free groups (Q1326003) (← links)
- Tree compression using string grammars (Q1742370) (← links)
- The compressed word problem in relatively hyperbolic groups (Q2153344) (← links)
- Complexity of regular language matching and other decidable cases of the satisfiability problem for constraints between regular open terms (Q2432531) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- Compressed Membership in Automata with Compressed Labels (Q3007633) (← links)
- (Q5090487) (← links)
- STACS 2004 (Q5309734) (← links)
- Complexity of word problems for HNN-extensions (Q5918684) (← links)
- Complexity of word problems for HNN-extensions (Q5925702) (← links)
- The fully compressed subgroup membership problem (Q6038521) (← links)
- Algorithms for contractibility of compressed curves on 3-manifold boundaries (Q6174804) (← links)