all | search sort by web site last modified | name
1 tool found.
Jambox is an automated termination prover for string and term rewriting systems.
* Info + Contact + Teaching...
categories termination_tool termination relative_termination term_rewriting