Pages that link to "Item:Q4406307"
From MaRDI portal
The following pages link to The expressibility of languages and relations by word equations (Q4406307):
Displayed 9 items.
- Z3str2: an efficient solver for strings, regular expressions, and length constraints (Q526767) (← links)
- Bad news on decision problems for patterns (Q1049406) (← links)
- Multiple factorizations of words and defect effect (Q1605328) (← links)
- Document spanners: from expressive power to decision problems (Q1650917) (← links)
- The existential theory of equations with rational constraints in free groups is PSPACE-complete (Q2573633) (← links)
- Equations in the Partial Semigroup of Words with Overlapping Products (Q3166946) (← links)
- ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS (Q3503102) (← links)
- Bad News on Decision Problems for Patterns (Q3533022) (← links)
- Graph Logics with Rational Relations (Q5278208) (← links)