Word unification and transformation of generalized equations (Q1319389)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Word unification and transformation of generalized equations
scientific article

    Statements

    Word unification and transformation of generalized equations (English)
    0 references
    0 references
    11 December 1994
    0 references
    unification theory
    0 references
    associative unification
    0 references
    word equations
    0 references
    free semigroups
    0 references
    string-unification
    0 references
    Makanin's algorithm
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references