Tools on Rewriting

2 tools found.

• Narradar

  last modified: Jan 01, 2023 10:14:00

  

  An automatic termination of narrowing prover.

  Copyright © 2023 Narradar | Powered by zBench and WordPress...

  categories termination_tool termination narrowing term_rewriting

• TNT

  last modified: Dec 14, 2022 18:28:52

  

  TNT, a transformation for analyzing narrowing termination, is a tool developed by German Vidal and Naoki Nishida to analyze the termination of narrowing.

  (_) Nothing (_) labeling? (_) deletion of non-reachable rules?...

  categories termination_tool termination narrowing term_rewriting