Implementing contextual rewriting (Q5881200): Difference between revisions

@@ Property / author @@
+Han-Tao Zhang
@@ Property / author: Han-Tao Zhang / 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.1007/3-540-56393-8_28
+Normal rank
@@ Property / OpenAlex ID @@
+W1566515619
@@ Property / OpenAlex ID: W1566515619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting in focus
@@ Property / cites work: Conditional rewriting in focus / rank @@
+Normal rank
@@ Property / cites work @@
+Orderings for term-rewriting systems
@@ Property / cites work: Orderings for term-rewriting systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817656
@@ Property / cites work: Q3817656 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3786024
@@ Property / cites work: Q3786024 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789100
@@ Property / cites work: Q3789100 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3696496
@@ Property / cites work: Q3696496 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5881200