Бойко, Ю.В.; Погорілий, С.Д.; Шкуліпа, І.Ю.
(2007)
Розглянуто алгоритм Прима знаходження мінімального покривного дерева графа. Виконано його формалізацію у термінахмодифікованих систем алгоритмічних алгебр В.М. Глушкова (САА-М). Отримано низку САА-М схем паралельної ...