Функциональная вершина
Перейти к навигации
Перейти к поиску
Функциональная вершина (Functional vertex) - та вершина помеченного ациклического графа, представляющего некоторый терм, которая помечена символом функции.
Литература
[Евстигнеев-Касьянов/94]