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

• Automath

• Referenced in 410 articles [sw07127]
• Automath is a language designed by N.G. the...

• NQTHM

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

• Tyrolean

• Referenced in 89 articles [sw07830]
• The Tyrolean Termination Tool 2 (TTT2) is a...

• CiME

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

• Maude-NPA

• Referenced in 33 articles [sw12159]
• State space reduction in the Maude-NRL protocol...

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