Slothrop

MaRDI QIDQ21994swMATHFDO

Official website http://link.springer.com/chapter/10.1007/11805618_22

Described by source

• Slothrop: Knuth-Bendix Completion with a Modern Termination Checker

Cited in

(20)

• Tyrolean
• mkbTT
• Ctrl
• KBCV – Knuth-Bendix Completion Visualizer
• KBCV
• Nagoya Termination Tool
• Encoding dependency pair techniques and control strategies for maximal completion
• Multi-completion with termination tools
• Paramodulation with non-monotonic orderings and simplification
• Multi-completion with Termination Tools (System Description)
• Proving injectivity of functions via program inversion in term rewriting
• term-rewriting
• REVE
• LRinv
• Completion for logically constrained rewriting
• A lower bound of the number of rewrite rules obtained by homological methods
• Completion after program inversion of injective functions
• AC completion with termination tools
• scientific article; zbMATH DE number 6027911 (Why is no real title available?)
• NaTT

This page was built for software: Slothrop