Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems (Q918215): Difference between revisions

@@ Property / cites work @@
+Q3702507
@@ Property / cites work: Q3702507 / rank @@
+Normal rank
@@ Property / cites work @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q3811749
@@ Property / cites work: Q3811749 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3323279
@@ Property / cites work: Q3323279 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Decision Procedures Based on Congruence Closure
+Normal rank
@@ Property / cites work @@
+The Church-Rosser property for ground term-rewriting systems is decidable
+Normal rank
@@ Property / cites work @@
+Efficient ground completion
@@ Property / cites work: Efficient ground completion / rank @@
+Normal rank