Letichevsky, A.A.; Letichevskyi, O.A.; Peschanenko, V.S.
(Управляющие системы и машины, 2013)
Описана система алгебраического программирования – первая система переписывания термов, разделившая системы переписывающих правил и стратегии, а также система моделирования – базовая для системы верификации формальных ...