Верхние оценки высоты термов в решении задачи квазиунификации

В работе исследуется один алгоритмически разрешимый случай задачи квазиунификации термов, а именно, когда все функциональные знаки в термах являются одноместными (кроме, возможно, знаков верхнего уровня, на которые не накладывается ограничений). Приводится алгоритм, находящий наиболее общее решение задачи, а также доказывается верхняя оценка высоты этого решения, линейная относительно высоты термов в исходной задаче. Суть алгоритма в сведении задачи для термов к системе уравнений специального вида в свободных полугруппах и решении этой системы. Библ. – 10 назв.