RUS
ENG
Полная версия
ПЕРСОНАЛИИ
Жижкун Валентин Борисович
Публикации в базе данных Math-Net.Ru
Верхние оценки высоты термов в решении задачи квазиунификации
Зап. научн. сем. ПОМИ
,
277
(2001),
53–79
©
МИАН
, 2024