Шевченко, Р.С.; Дорошенко, А.Ю.
(Проблеми програмування, 2019)
У статті описується конструкція системи переписування термів TermWare-3, що побудована на основі рефлексивного числення контекстних термів, коли структура терму включає до себе, окрім дерева, ще й внутрішній контекст та ...