ISR 2010

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