Transfinite reductions in orthogonal term rewriting systems (Q5055744): Difference between revisions

@@ Property / describes a project that uses @@
+Miranda
@@ Property / describes a project that uses: Miranda / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / 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-53904-2_81
+Normal rank
@@ Property / OpenAlex ID @@
+W2166184800
@@ Property / OpenAlex ID: W2166184800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3900995
@@ Property / cites work: Q3900995 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+REDEX CAPTURING IN TERM GRAPH REWRITING
@@ Property / cites work: REDEX CAPTURING IN TERM GRAPH REWRITING / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692880
@@ Property / cites work: Q4692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Tree-Manipulating Systems and Church-Rosser Theorems
+Normal rank
@@ Property / cites work @@
+Q3721784
@@ Property / cites work: Q3721784 / rank @@
+Normal rank