Tools on Rewriting

1 tool found.

• CARPA

  last modified: Jul 12, 2018 21:28:33

  

  CARPA (Counter examples in Abstract Rewriting Produced Automatically) is a tool that automatically generates examples of finite abstract rewrite systems satisfying a given list of properties.

  * The paper Automatically finding particular term rewriting systems presenting the tool Carpa+ and the underlying theory. ... Last change: July 12, 2018...

  categories theorem_prover abstract_rewriting