Results 1 to 5 of 5
Sort by:

  • 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...