CSI – A Confluence Tool (Q5200045): Difference between revisions

@@ 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.1007/978-3-642-22438-6_38
+Normal rank
@@ Property / OpenAlex ID @@
+W134328369
@@ Property / OpenAlex ID: W134328369 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Confluence Proof by Decreasing Diagrams based on Rule-Labelling.
+Normal rank
@@ Property / cites work @@
+Proving Confluence of Term Rewriting Systems Automatically
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Q5389068
@@ Property / cites work: Q5389068 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2911632
@@ Property / cites work: Q2911632 / rank @@
+Normal rank
@@ Property / cites work @@
+Frontiers of Combining Systems
@@ Property / cites work: Frontiers of Combining Systems / 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 @@
+Match-bounds revisited
@@ Property / cites work: Match-bounds revisited / 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 @@
+Labelings for Decreasing Diagrams.
@@ Property / cites work: Labelings for Decreasing Diagrams. / rank @@
+Normal rank