Sequences Having an Effective Fixed-Point Property (Q4081222): Difference between revisions

@@ label / en / label / en @@
+Sequences Having an Effective Fixed-Point Property
@@ Property / author @@
+Thomas H. Payne
@@ Property / author: Thomas H. Payne / 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.2307/1995883
@@ Property / full work available at URL: https://doi.org/10.2307/1995883 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4246205179
@@ Property / OpenAlex ID: W4246205179 / rank @@
+Normal rank
@@ Property / title @@
+Sequences Having an Effective Fixed-Point Property (English)
+Normal rank
@@ Property / cites work @@
+Creative Functions
@@ Property / cites work: Creative Functions / rank @@
+Normal rank
@@ Property / cites work @@
+STANDARD CLASSES OF RECURSIVELY ENUMERABLE SETS
@@ Property / cites work: STANDARD CLASSES OF RECURSIVELY ENUMERABLE SETS / rank @@
+Normal rank
@@ Property / cites work @@
+On the indexing of classes of recursively enumerable sets
+Normal rank
@@ Property / cites work @@
+Creative sets
@@ Property / cites work: Creative sets / rank @@
+Normal rank
@@ Property / cites work @@
+Notation Systems and an Effective Fixed Point Property
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+On Universal Functions
@@ Property / cites work: On Universal Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank