The following pages link to (Q4159542):
Displaying 26 items.
- Periodicity forcing words (Q496053) (← links)
- Unification in commutative theories (Q582071) (← links)
- Dominance constraints in stratified context unification (Q845917) (← links)
- A polynomial algorithm for solving systems of two linear diophantine equations (Q914391) (← links)
- Discontinuities in pattern inference (Q924176) (← links)
- Associative-commutative unification (Q1099648) (← links)
- Unification problems with one-sided distributivity (Q1099650) (← links)
- History and basic features of the critical-pair/completion procedure (Q1103414) (← links)
- Finding patterns common to a set of strings (Q1149795) (← links)
- Languages with homomorphic replacements (Q1156494) (← links)
- Sur la détermination du rang d'une équation dans le monoide libre (Q1161827) (← links)
- Learning elementary formal systems (Q1186429) (← links)
- Unification in partially commutative semigroups (Q1337561) (← links)
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups (Q1383969) (← links)
- On rewrite constraints and context unification (Q1607044) (← links)
- Complete sets of unifiers and matchers in equational theories (Q1820760) (← links)
- Non-structural subtype entailment in automata theory (Q1887157) (← links)
- The undecidability of the second order predicate unification problem (Q2277244) (← links)
- Complete κ-reducibility of pseudovarieties of the form DRH (Q2986657) (← links)
- Coding in the existential theory of concatenation (Q3789546) (← links)
- On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups (Q4558123) (← links)
- The expressibility of languages and relations by word equations (Q4571943) (← links)
- A partial solution for D-unification based on a reduction to AC 1-unification (Q4630297) (← links)
- ОБ УРАВНЕНИЯХ И НЕРАВЕНСТВАХ В СЛОВАХ И ДЛИНАХ (Q5239711) (← links)
- On one-relator groups and units of special one-relation inverse monoids (Q5877774) (← links)
- On equations in free monoids and semigroups with restrictions on solutions (Q6168400) (← links)