Context rewriting (Q5881173): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-56393-8_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2913293979
@@ Property / OpenAlex ID: W2913293979 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4385532
@@ Property / cites work: Q4385532 / rank @@
+Normal rank
@@ Property / cites work @@
+An Abstract form of the church-rosser theorem. I
@@ Property / cites work: An Abstract form of the church-rosser theorem. I / rank @@
+Normal rank
@@ Property / cites work @@
+Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Q4001983
@@ Property / cites work: Q4001983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934579
@@ Property / cites work: Q3934579 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequential evaluation strategies for parallel-or and related reduction systems
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3817590
@@ Property / cites work: Q3817590 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic programming language with lambda-abstraction, function variables, and simple unification
+Normal rank
@@ Property / cites work @@
+Q4023244
@@ Property / cites work: Q4023244 / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract formulation for rewrite systems
@@ Property / cites work: An abstract formulation for rewrite systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3815296
@@ Property / cites work: Q3815296 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order unification revisited: Complete sets of transformations
+Normal rank
@@ Property / cites work @@
+On the Church-Rosser property for the direct sum of term rewriting systems
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5881173