Confluence by Decreasing Diagrams (Q3522026): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-70590-1_21
+Normal rank
@@ Property / OpenAlex ID @@
+W1907069005
@@ Property / OpenAlex ID: W1907069005 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence by decreasing diagrams
@@ Property / cites work: Confluence by decreasing diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q3745825
@@ Property / cites work: Q3745825 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+Random Descent
@@ Property / cites work: Random Descent / rank @@
+Normal rank
@@ Property / cites work @@
+Diagram techniques for confluence
@@ Property / cites work: Diagram techniques for confluence / rank @@
+Normal rank
@@ Property / cites work @@
+A geometric proof of confluence by decreasing diagrams
+Normal rank
@@ Property / cites work @@
+New up-to techniques for weak bisimulation
@@ Property / cites work: New up-to techniques for weak bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Generalizing Newman’s Lemma for Left-Linear Rewrite Systems
+Normal rank
@@ Property / cites work @@
+Braids and self-distributivity
@@ Property / cites work: Braids and self-distributivity / rank @@
+Normal rank