On the computational complexity of Longley's \(H\) functional (Q1827400): Difference between revisions

@@ 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.1016/j.tcs.2003.10.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2108736782
@@ Property / OpenAlex ID: W2108736782 / rank @@
+Normal rank
@@ Property / cites work @@
+Functional interpretations of feasibly constructive arithmetic
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+On characterizations of the basic feasible functionals, Part I
+Normal rank
@@ Property / cites work @@
+Q4265595
@@ Property / cites work: Q4265595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4142699
@@ Property / cites work: Q4142699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4337021
@@ Property / cites work: Q4337021 / rank @@
+Normal rank
@@ Property / cites work @@
+The sequentially realizable functionals
@@ Property / cites work: The sequentially realizable functionals / rank @@
+Normal rank
@@ Property / cites work @@
+When is a functional program not a functional program?
+Normal rank
@@ Property / cites work @@
+Q4513585
@@ Property / cites work: Q4513585 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical recursion theory. Vol. II
@@ Property / cites work: Classical recursion theory. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4310702
@@ Property / cites work: Q4310702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938567
@@ Property / cites work: Q4938567 / rank @@
+Normal rank