Redex

Материал из WEGA

Redex --- редекс.

See

  • Graph transformation rule.
Источник — http://pco.iis.nsk.su/wega/index.php?title=Redex&oldid=8607