Remarks on Thatte's transformation of term rewriting systems (Q1763376): Difference between revisions

@@ Property / cites work @@
+Q4520528
@@ Property / cites work: Q4520528 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699301
@@ Property / cites work: Q4699301 / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of curried term-rewriting systems
@@ Property / cites work: Confluence of curried term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing curried and uncurried rewriting
@@ Property / cites work: Comparing curried and uncurried rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q4799892
@@ Property / cites work: Q4799892 / rank @@
+Normal rank
@@ Property / cites work @@
+On the correspondence between two classes of reduction systems
+Normal rank
@@ Property / cites work @@
+Implementing first-order rewriting with constructor systems
+Normal rank
@@ Property / cites work @@
+A theory of using history for equational systems with applications
+Normal rank
@@ Property / cites work @@
+Transformations and confluence for rewrite systems
+Normal rank