Pages that link to "Item:Q3773843"

The following pages link to Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory (Q3773843):

Displayed 3 items.

• On equations in free semigroups with certain constraints on their solutions. (Q843606) ‎ (← links)
• Solving word equations modulo partial commutations (Q1960424) ‎ (← links)
• Path Feasibility Analysis for String-Manipulating Programs (Q3617764) ‎ (← links)