• RRL

  • Referenced in 55 articles [sw28904]
  • overview of Rewrite Rule Laboratory (RRL). RRL (Rewrite Rule Laboratory) was originally developed ... reasoning algorithms for equational logic based on rewrite techniques. It has now matured into...
  • OTTER

  • Referenced in 316 articles [sw02904]
  • rules are based on resolution and paramodulation, and it includes facilities for term rewriting, term ... Otter is a fourth-generation Argonne National Laboratory deduction system whose ancestors (dating from...
  • ORME

  • Referenced in 5 articles [sw15064]
  • ORME is both a rewrite rule laboratory and a toolbox for building theorem provers...
  • Mathematica

  • Referenced in 6355 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Modula

  • Referenced in 197 articles [sw01224]
  • The Modula programming language is a descendant of...
  • FEniCS

  • Referenced in 840 articles [sw04314]
  • The FEniCS Project is a collaborative project for...
  • Nuprl

  • Referenced in 394 articles [sw06751]
  • The Nuprl system is a framework for reasoning...
  • SbReve2

  • Referenced in 6 articles [sw10104]
  • SbReve2: A term rewriting laboratory with (AC)-unfailing...
  • Python

  • Referenced in 2091 articles [sw14460]
  • Python is a widely used high-level, general...
  • Jess

  • Referenced in 22 articles [sw23527]
  • Jess is a rule engine and scripting environment...
  • REVE

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