TermGallery
Russo
Inglês
Espanhol
Catalão
Português
Russo
PT
English
Español
Català
Português
Русский
português
sistema de redução
inglês
rewriting systems
Замена подвыражения формулы на другое.
переписывание
система переписывающих правил
упрощение выражений
упрощение формул
система переписывания
правило переписывания
машина вывода
português
sistema de redução
português
sistema de redução
inglês
rewriting systems
term rewriting
rewrite rule
rewriting
rewrite systems
reduction systems