This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links to systems not yet mentioned.

CategorySystem, CategoryCollection | Contributions by EelcoVisser

Revision: r1.1 - 25 Oct 2001 - 14:31 - EelcoVisser
Transform > TermRewritingSystems
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback