Tools on Rewriting

1 tool found.

• Nonloop

  last modified: Mar 05, 2011 05:14:01

  

  This tool proves non-termination of string rewriting, by searching for patterns in derivations and can handle non-looping non-termination.

  Apache/2.2.16 (Debian) Server at dfa.imn.htwk-leipzig.de Port 80...

  categories termination_tool termination non-termination