Deciding confluence of certain term rewriting systems in polynomial time (Q1886319): Difference between revisions

@@ Property / author @@
+Ashish Kumar Tiwari
@@ Property / author: Ashish Kumar Tiwari / rank @@
+Normal rank
@@ Property / author @@
+Rakesh M. Verma
@@ Property / author: Rakesh M. Verma / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2004.04.005
+Normal rank
@@ Property / OpenAlex ID @@
+W2050626079
@@ Property / OpenAlex ID: W2050626079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520528
@@ Property / cites work: Q4520528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4000281
@@ Property / cites work: Q4000281 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723409
@@ Property / cites work: Q2723409 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstract congruence closure
@@ Property / cites work: Abstract congruence closure / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / 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 @@
+Variations on the Common Subexpression Problem
@@ Property / cites work: Variations on the Common Subexpression Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of term rewrite systems with polynomial confluence problems
+Normal rank
@@ Property / cites work @@
+Q4418639
@@ Property / cites work: Q4418639 / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability and confluence are undecidable for flat term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Bi-rewriting, a term rewriting technique for monotonic order relations
+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 @@
+A fast algorithm for generating reduced ground rewriting systems from a set of ground equations
+Normal rank
@@ Property / cites work @@
+Q4474230
@@ Property / cites work: Q4474230 / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms and reductions for rewriting problems. II.
+Normal rank
@@ Property / cites work @@
+Q2730723
@@ Property / cites work: Q2730723 / rank @@
+Normal rank