A decomposition algorithm for the unification problem and new
Doklady Akademii Nauk, Tome 288 (1986) no. 1, pp. 19-23
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{DAN_1986_288_1_a2,
author = {B. I. Gol'dengorin},
title = {A decomposition algorithm for the unification problem and new},
journal = {Doklady Akademii Nauk},
pages = {19--23},
publisher = {mathdoc},
volume = {288},
number = {1},
year = {1986},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DAN_1986_288_1_a2/}
}
B. I. Gol'dengorin. A decomposition algorithm for the unification problem and new. Doklady Akademii Nauk, Tome 288 (1986) no. 1, pp. 19-23. http://geodesic.mathdoc.fr/item/DAN_1986_288_1_a2/