3 citations · 4 across the 3 of their papers we have counts for
1 paper · 1 filter
Thomas Sternagel
This paper describes the automatic mode of the new version of the Knuth-Bendix Completion Visualizer. The internally used data structures have been overhauled and the performance w…