A completion procedure for conditional equations (Q758211): Difference between revisions

@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Proof normalization for resolution and paramodulation
+Normal rank
@@ Property / cites work @@
+Completion of first-order clauses with equality by strict superposition
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Termination of rewriting
@@ Property / cites work: Termination of rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3753472
@@ Property / cites work: Q3753472 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3809250
@@ Property / cites work: Q3809250 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028369
@@ Property / cites work: Q3028369 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete proof of correctness of the Knuth-Bendix completion algorithm
+Normal rank
@@ Property / cites work @@
+Q3703312
@@ Property / cites work: Q3703312 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Q3709891
@@ Property / cites work: Q3709891 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028335
@@ Property / cites work: Q3028335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798649
@@ Property / cites work: Q3798649 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702510
@@ Property / cites work: Q3702510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3993260
@@ Property / cites work: Q3993260 / rank @@
+Normal rank
@@ Property / cites work @@
+Clausal rewriting
@@ Property / cites work: Clausal rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745825
@@ Property / cites work: Q3745825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank