Reductions of Residuals are Finite (Q4168908): Difference between revisions

@@ Property / cites work @@
+Q4085718
@@ Property / cites work: Q4085718 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Properties of Conversion
@@ Property / cites work: Some Properties of Conversion / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / 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 @@
+An abstract Church-Rosser theorem. II: Applications
+Normal rank
@@ Property / cites work @@
+The Equivalence of Complete Reductions
@@ Property / cites work: The Equivalence of Complete Reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Standard and Normal Reductions
@@ Property / cites work: Standard and Normal Reductions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank