ЕБ
Екатерина Бурцева
это определение процесса вычисления в виде последовательности правил перезаписи, которое вместе с представлением о сходимости впервые были использованы в контексте -исчисления. Сходимость важна также в системах автоматического доказательства, основанных на эквациональной логике первого порядка.