TermGallery
Russian
English
Spanish
Catalan
Portuguese
Russian
EN
English
Español
Català
Português
Русский
Portuguese
sistema de redução
English
rewriting systems
Замена подвыражения формулы на другое.
переписывание
система правил переписывания
упрощение выражений
упрощение формул
система переписывания
правило переписывания
машина вывода
English
rewriting systems
Portuguese
sistema de redução
English
rewriting systems
term rewriting
rewrite rule
rewriting
rewrite systems
reduction systems