Introduction to Term Rewriting – Tools
Termination Tools
A selection of termination tools. Further tools can be found at the
Termination Portal.
Complexity Tools
Completion Tools
A selection of tools that perform (variants of) Knuth-Bendix completion.
The first one is a student project (currently under development) which is
especially useful for visualizing the inference system for
completion explained in lecture 6.
Confluence Tools
Termination Competition