Home
Surveys
Transformation
Reengineering
DSL
Domain Engineering
Decompilation
Generative Progr.
Collections
Categories
Systems
Conferences
People
Companies
Papers
Searched:
Maude *System[^A-Za-z]
Results from Transform web
TermRewritingSystems
EelcoVisser
25 Oct 2001 - 14:31
-
NEW
This page collects links to systems that implement TermRewriting and related paradigms. See also the general list of TransformationSystems. Feel free to add links ...
Number of topics:
1