Pages that link to "Item:Q3789546"
From MaRDI portal
The following pages link to Coding in the existential theory of concatenation (Q3789546):
Displayed 13 items.
- Combination techniques and decision problems for disunification (Q673624) (← links)
- On equations in free semigroups with certain constraints on their solutions. (Q843606) (← links)
- \(\forall \exists^{5}\)-equational theory of context unification is undecidable (Q1607219) (← links)
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup (Q1921846) (← links)
- First-order concatenation theory with bounded quantifiers (Q2219089) (← links)
- Equations in the Partial Semigroup of Words with Overlapping Products (Q3166946) (← links)
- Theories of orders on the set of words (Q3374756) (← links)
- Coding in the existential theory of concatenation (Q3789546) (← links)
- The expressibility of languages and relations by word equations (Q4571943) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← links)
- (Q5239606) (← links)
- ОБ УРАВНЕНИЯХ И НЕРАВЕНСТВАХ В СЛОВАХ И ДЛИНАХ (Q5239711) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)