The geometry of orthogonal reduction spaces (Q4571994): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Relative normalization in Deterministic Residual Structures
+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 @@
+Optimal normalization in orthogonal term rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4954449
@@ Property / cites work: Q4954449 / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete Normalization and Standardization in Deterministic Residual Structures
+Normal rank
@@ Property / cites work @@
+Q4699303
@@ Property / cites work: Q4699303 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3918095
@@ Property / cites work: Q3918095 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Functions as processes
@@ Property / cites work: Functions as processes / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-order families
@@ Property / cites work: Higher-order families / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent transition systems
@@ Property / cites work: Concurrent transition systems / rank @@
+Normal rank