• MILONGA

  • Referenced in 2 articles [sw13673]
  • time and memory space -- upon traditional, term-rewriting procedures.par There is a strong analogy between ... operational semantics of its run-time system and of the implementation of a couple...
  • Coq

  • Referenced in 1880 articles [sw00161]
  • Coq is a formal proof management system. It...
  • Maple

  • Referenced in 5363 articles [sw00545]
  • The result of over 30 years of cutting...
  • REDUCE

  • Referenced in 746 articles [sw00789]
  • REDUCE is an interactive system for general algebraic...
  • ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • YAPA

  • Referenced in 19 articles [sw02739]
  • YAPA: A generic tool for computing intruder knowledge...
  • AVISPA

  • Referenced in 87 articles [sw03172]
  • AVISPA (Automated Validation of Internet Security Protocols and...
  • Timbuk

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

  • Referenced in 273 articles [sw06363]
  • OCaml is the most popular variant of the...
  • NQTHM

  • Referenced in 151 articles [sw07543]
  • A computational logic handbook. This book is a...
  • CiME

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

  • Referenced in 55 articles [sw28904]
  • An overview of Rewrite Rule Laboratory (RRL). RRL...
  • REVE

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