Multi-completion with Termination Tools (System Description) (Q3541711): Difference between revisions

@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Completion for multiple reduction orderings
@@ Property / cites work: Completion for multiple reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942621
@@ Property / cites work: Q4942621 / rank @@
+Normal rank
@@ Property / cites work @@
+Knuth-Bendix completion of theories of commuting group endomorphisms
+Normal rank
@@ Property / cites work @@
+Slothrop: Knuth-Bendix Completion with a Modern Termination Checker
+Normal rank