• Matchbox

  • Referenced in 25 articles [sw10115]
  • Matchbox: A tool for match-bounded string rewriting. The program Matchbox implements the exact computation ... strings, with respect to an (inverse) match-bounded string rewriting system. Matchbox can search...
  • CeTA

  • Referenced in 46 articles [sw06584]
  • Certification of termination proofs using CeTA. There are...
  • AProVE

  • Referenced in 148 articles [sw07831]
  • AProVE 1.2: Automatic Termination Proofs in the Dependency...
  • CiME

  • Referenced in 38 articles [sw09970]
  • CiME is a rewriting toolbox. Distributed since 1996...
  • IsaFoR

  • Referenced in 5 articles [sw10106]
  • Termination of Isabelle functions via termination of rewriting...
  • Tsukuba

  • Referenced in 10 articles [sw10116]
  • Tsukuba Termination Tool. We present a tool for...
  • TORPA

  • Referenced in 10 articles [sw10120]
  • TORPA: Termination of rewriting proved automatically. The tool...
  • REVE

  • Referenced in 68 articles [sw28907]
  • Computer experiments with the REVE term rewriting system...