|
This article is cited in 1 scientific paper (total in 1 paper)
MATHEMATICS
A decomposition algorithm for the unification problem and new
polynomially solvable cases
B. I. Gol'dengorin Kirov Kazakh State University, Alma-Ata
Citation:
B. I. Gol'dengorin, “A decomposition algorithm for the unification problem and new
polynomially solvable cases”, Dokl. Akad. Nauk SSSR, 288:1 (1986), 19–23
Linking options:
https://www.mathnet.ru/eng/dan8609 https://www.mathnet.ru/eng/dan/v288/i1/p19
|
|