Unification for nilpotent groups of class 2.
Forum mathematicum (1995)
- Volume: 7, Issue: 4, page 435-458
- ISSN: 0933-7741; 1435-5337/e
Access Full Article
top
How to cite
topTruss, J.K., and Burke, E.K.. "Unification for nilpotent groups of class 2.." Forum mathematicum 7.4 (1995): 435-458. <http://eudml.org/doc/186431>.
@article{Truss1995,
author = {Truss, J.K., Burke, E.K.},
journal = {Forum mathematicum},
keywords = {theory in first order language; substitutions; unification algorithm; unification problem for nilpotent groups; derived subgroup; most general unifiers},
number = {4},
pages = {435-458},
title = {Unification for nilpotent groups of class 2.},
url = {http://eudml.org/doc/186431},
volume = {7},
year = {1995},
}
TY - JOUR
AU - Truss, J.K.
AU - Burke, E.K.
TI - Unification for nilpotent groups of class 2.
JO - Forum mathematicum
PY - 1995
VL - 7
IS - 4
SP - 435
EP - 458
KW - theory in first order language; substitutions; unification algorithm; unification problem for nilpotent groups; derived subgroup; most general unifiers
UR - http://eudml.org/doc/186431
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.