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

@@ label / en / label / en @@
+Reductions of Residuals are Finite
@@ 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.2307/1998825
@@ Property / full work available at URL: https://doi.org/10.2307/1998825 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4232671006
@@ Property / OpenAlex ID: W4232671006 / rank @@
+Normal rank
@@ Property / title @@
+Reductions of Residuals are Finite (English)
@@ Property / title: Reductions of Residuals are Finite (English) / rank @@
+Normal rank
@@ 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