KBCV – Knuth-Bendix Completion Visualizer

DOI10.1007/978-3-642-31365-3_41zbMath1358.68160OpenAlexW110104699MaRDI QIDQ2908523

Harald Zankl, Thomas Sternagel

Publication date: 5 September 2012

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31365-3_41

zbMATH Keywords

equational logiccompletionterm rewritingautomation

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (2)

Encoding Dependency Pair Techniques and Control Strategies for Maximal Completion ⋮ KBCV

Uses Software

• CeTA
• Tyrolean
• Slothrop

This page was built for publication: KBCV – Knuth-Bendix Completion Visualizer