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

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

[ Начало ]