Pages that link to "Item:Q4179180"
From MaRDI portal
The following pages link to THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP (Q4179180):
Displaying 25 items.
- ON NON-PERIODIC SOLUTIONS OF INDEPENDENT SYSTEMS OF WORD EQUATIONS OVER THREE UNKNOWNS (Q3503102) (← links)
- Equations on partial words (Q3549287) (← links)
- Towards Decidability of Conjugacy of Pairs and Triples (Q3601812) (← links)
- On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations (Q3637246) (← links)
- Meeting of the Association for Symbolic Logic, Stanford, California, 1985 (Q3755421) (← links)
- Coding in the existential theory of concatenation (Q3789546) (← links)
- Decidability of the unification problem for second-order languages with unary functional symbols (Q3885741) (← links)
- Towards parametrizing word equations (Q4331050) (← links)
- Graph unification and matching (Q4645268) (← links)
- (Q5028423) (← links)
- Some independence results for equational unification (Q5055843) (← links)
- (Q5092406) (← links)
- Unification properties of commutative theories: A categorical treatment (Q5096265) (← links)
- Efficient solving of the word equations in one variable (Q5096891) (← links)
- On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685) (← links)
- (Q5239606) (← links)
- ОБ УРАВНЕНИЯХ И НЕРАВЕНСТВАХ В СЛОВАХ И ДЛИНАХ (Q5239711) (← links)
- Graph Logics with Rational Relations (Q5278208) (← links)
- Learners based on transducers (Q5918614) (← links)
- Codes and equations on trees (Q5941083) (← links)
- Variants and satisfiability in the infinitary unification wonderland (Q6113018) (← links)
- An analysis of Makanin's algorithm deciding solvability of equations in free groups (Q6114505) (← links)
- Complete equational unification based on an extension of the Knuth-Bendix completion procedure (Q6114511) (← links)
- Makanin's algorithm for word equations-two improvements and a generalization (Q6169560) (← links)
- Algebraic and logical aspects of unification (Q6169562) (← links)