УДК 519.717
Тождественные преобразования
код УДК
описание
примечания
519.717.2
Оценка мощности множества правил преобразования в различных системах
519.717.3
Системы правил преобразования для конкретных классов
см.
519.681.3
Эквивалентные преобразования программ