• CoLL

  • Referenced in 5 articles [sw13633]
  • CoLL: a confluence tool for left-linear term rewrite systems. We present a confluence tool ... left-linear term rewrite systems. The tool proves confluence by using Hindley’s commutation theorem...
  • ConCon

  • Referenced in 3 articles [sw21589]
  • unraveling U(R) is left-linear and confluent [WT15...
  • FORT

  • Referenced in 2 articles [sw28637]
  • rewriting for the decidable class of left-linear right-ground rewrite systems...
  • Timbuk

  • Referenced in 47 articles [sw06351]
  • Timbuk is a collection of tools for achieving...