Augmented loop languages and classes of computable functions (Q1219687): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On a Subrecursive Hierarchy and Primitive Recursive Degrees
+Normal rank
@@ Property / cites work @@
+On the structure of subrecursive degrees
@@ Property / cites work: On the structure of subrecursive degrees / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Primitive Recursive Functions
@@ Property / cites work: A Hierarchy of Primitive Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Classifications of Recursive Functions by Means of Hierarchies
+Normal rank
@@ Property / cites work @@
+Computational speed-up by effective operators
@@ Property / cites work: Computational speed-up by effective operators / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of an effectively generated class of functions by enumeration
+Normal rank
@@ Property / cites work @@
+The upper semi-lattice of degrees of recursive unsolvability
+Normal rank
@@ Property / cites work @@
+Q5612467
@@ Property / cites work: Q5612467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678842
@@ Property / cites work: Q5678842 / rank @@
+Normal rank
@@ Property / cites work @@
+The honest subrecursive classes are a lattice
@@ Property / cites work: The honest subrecursive classes are a lattice / rank @@
+Normal rank
@@ Property / cites work @@
+On the density of honest subrecursive classes
@@ Property / cites work: On the density of honest subrecursive classes / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of computable functions defined by bounds on computation
+Normal rank
@@ Property / cites work @@
+A Classification of the Recursive Functions
@@ Property / cites work: A Classification of the Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5583849
@@ Property / cites work: Q5583849 / rank @@
+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 @@
+Degrees of Unsolvability. (AM-55)
@@ Property / cites work: Degrees of Unsolvability. (AM-55) / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0022-0000(72)80032-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2144600960
@@ Property / OpenAlex ID: W2144600960 / rank @@
+Normal rank