Вы здесь

Главная

упорядочивание

Связанные издания:

Constructing Refinement Operators by Decomposing Logical Implication
Improving the Register Allocation in WAM by Reordering Unification
Proving Termination of (Conditional) Rewrite Systems
Rewriting in Order-sorted Equational Logic
Некоторые вопросы теории упорядочиваемых групп
Сравнение вариантов алгоритма упорядочения методом обмена