KBCV – Knuth-Bendix Completion Visualizer
From MaRDI portal
Publication:2908523
DOI10.1007/978-3-642-31365-3_41zbMath1358.68160MaRDI 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
68Q42: Grammars and rewriting systems
Related Items
Uses Software