Geodesic
Unification for nilpotent groups of class 2.
Forum mathematicum, Tome 7 (1995) no. 1, pp. 435-458

Voir la notice de l'article provenant de la source European Digital Mathematics Library

Mots-clés : theory in first order language, substitutions, unification algorithm, unification problem for nilpotent groups, derived subgroup, most general unifiers 
@article{FORUM_1995__7_1_186431,
     author = {J.K. Truss and E.K. Burke},
     title = {Unification for nilpotent groups of class 2.},
     journal = {Forum mathematicum},
     pages = {435--458},
     publisher = {mathdoc},
     volume = {7},
     number = {1},
     year = {1995},
     zbl = {0830.20055},
     url = {http://geodesic.mathdoc.fr/item/FORUM_1995__7_1_186431/}
}
TY  - JOUR
AU  - J.K. Truss
AU  - E.K. Burke
TI  - Unification for nilpotent groups of class 2.
JO  - Forum mathematicum
PY  - 1995
SP  - 435
EP  - 458
VL  - 7
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/FORUM_1995__7_1_186431/
ID  - FORUM_1995__7_1_186431
ER  - 
%0 Journal Article
%A J.K. Truss
%A E.K. Burke
%T Unification for nilpotent groups of class 2.
%J Forum mathematicum
%D 1995
%P 435-458
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/FORUM_1995__7_1_186431/
%F FORUM_1995__7_1_186431
J.K. Truss; E.K. Burke. Unification for nilpotent groups of class 2.. Forum mathematicum, Tome 7 (1995) no. 1, pp. 435-458. http://geodesic.mathdoc.fr/item/FORUM_1995__7_1_186431/