The operator gap theorem in α-recursion theory (Q4198498): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+The Operator Gap
@@ Property / cites work: The Operator Gap / rank @@
+Normal rank
@@ Property / cites work @@
+The operator gap theorem in α-recursion theory
@@ Property / cites work: The operator gap theorem in α-recursion theory / rank @@
+Normal rank
@@ Property / cites work @@
+On generalized computational complexity
@@ Property / cites work: On generalized computational complexity / rank @@
+Normal rank
@@ Property / cites work @@
+The Undecidability of Monadic Modal Quantification Theory
+Normal rank
@@ Property / cites work @@
+Classes of computable functions defined by bounds on computation
+Normal rank
@@ Property / cites work @@
+The α-finite injury method
@@ Property / cites work: The α-finite injury method / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2013339463
@@ Property / OpenAlex ID: W2013339463 / rank @@
+Normal rank