Proving Confluence of Term Rewriting Systems Automatically (Q3636821): Difference between revisions

@@ Property / cites work @@
+Q4364373
@@ Property / cites work: Q4364373 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520528
@@ Property / cites work: Q4520528 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing and improving dependency pairs
@@ Property / cites work: Mechanizing and improving dependency pairs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4846997
@@ Property / cites work: Q4846997 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Modular properties of composable term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+A new parallel closed condition for Church-Rosser of left-linear term rewriting systems
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q3830525
@@ Property / cites work: Q3830525 / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Developing developments
@@ Property / cites work: Developing developments / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by Decreasing Diagrams
@@ Property / cites work: Confluence by Decreasing Diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Proving Confluence of Term Rewriting Systems Automatically
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank