Searching for "On the equation in a free semigroup." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Volume 1632 of
- …. Makanin. The problem of solvability of equations in a free semigroup. Math. USSR Sbornik, 32…
- Add To MetaCart
-
Equations in Free Semigroups with Anti-involution and their Relation to Equations in Free Groups
- … complexity is a problem closely related to the problem of solving equations in free semigroups and in free…
- Cited by 4 (2 self) – Add To MetaCart
-
Context Unification = Word Equations + Linear Integer Constraints
- …'s. Keywords Context unification, solvability of equations in free semigroups, Makanin's algorithm, exponent…
- Add To MetaCart
-
Constraint Logic Programming: A Survey
- … of Equations in a Free Semigroup, Math. USSR Sbornik 32(2), 129--198, 1977. (English translation, AMS 1979…
- Cited by 645 (13 self) – Add To MetaCart
-
Word Unification and Transformation of Generalized Equations
- …. Word equations may be called equations in a free semigroup, equations over lists (of atomic elements…
- Cited by 15 (1 self) – Add To MetaCart
-
Equational Theory of Context Unification is Hard
- …-Lob's problem of solvability of equations in a free semigroup proved decidable by (Makanin 1977); CUP coincides…
- Add To MetaCart
Showing 1 through 6.
