Pages that link to "Item:Q3773843"
From MaRDI portal
The following pages link to Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory (Q3773843):
Displaying 13 items.
- Simple linear string constraints (Q469349) (← links)
- On equations in free semigroups with certain constraints on their solutions. (Q843606) (← links)
- Solving word equations modulo partial commutations (Q1960424) (← links)
- On equations and first-order theory of one-relator monoids (Q2051781) (← links)
- A decision procedure for string to code point conversion (Q2096448) (← links)
- On PSPACE generation of a solution set of a word equation and its applications (Q2326385) (← links)
- Chain-Free String Constraints (Q3297597) (← links)
- Path Feasibility Analysis for String-Manipulating Programs (Q3617764) (← links)
- (Q5239606) (← links)
- ОБ УРАВНЕНИЯХ И НЕРАВЕНСТВАХ В СЛОВАХ И ДЛИНАХ (Q5239711) (← links)
- Knapsack and the power word problem in solvable Baumslag–Solitar groups (Q6159137) (← links)
- Decision procedures for sequence theories (Q6535526) (← links)
- A closer look at the expressive power of logics based on word equations (Q6580075) (← links)
