УДК 519.717

Тождественные преобразования


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

см. 519.681.3 Эквивалентные преобразования программ