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
