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

@@ Property / DOI @@
-.1016/j.ic.2003.09.006
@@ Property / DOI: 10.1016/j.ic.2003.09.006 / rank @@
-Normal rank
@@ Property / author @@
-P. H. Rodenburg
@@ Property / author: P. H. Rodenburg / rank @@
-Normal rank
@@ Property / author @@
-Rakesh M. Verma
@@ Property / author: Rakesh M. Verma / rank @@
-Normal rank
@@ Property / author @@
+P. H. Rodenburg
@@ Property / author: P. H. Rodenburg / 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.ic.2003.09.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2098600949
@@ Property / OpenAlex ID: W2098600949 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.IC.2003.09.006
@@ Property / DOI: 10.1016/J.IC.2003.09.006 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1763376