Unification for nilpotent groups of class 2 (Q4840300)

From MaRDI portal
scientific article; zbMATH DE number 777731
Language Label Description Also known as
English
Unification for nilpotent groups of class 2
scientific article; zbMATH DE number 777731

    Statements

    Unification for nilpotent groups of class 2 (English)
    0 references
    21 January 1996
    0 references
    theory in first order language
    0 references
    substitutions
    0 references
    unification algorithm
    0 references
    unification problem for nilpotent groups
    0 references
    derived subgroup
    0 references
    most general unifiers
    0 references
    0 references
    0 references

    Identifiers

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