Sub-computabilities (Q3088295): 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.1007/978-3-642-22953-4_28
+Normal rank
@@ Property / OpenAlex ID @@
+W2914940747
@@ Property / OpenAlex ID: W2914940747 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary descent recursion and proof theory
@@ Property / cites work: Elementary descent recursion and proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+A jump operator on honest subrecursive degrees
@@ Property / cites work: A jump operator on honest subrecursive degrees / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503966
@@ Property / cites work: Q4503966 / rank @@
+Normal rank
@@ Property / cites work @@
+Streamlined subrecursive degree theory
@@ Property / cites work: Streamlined subrecursive degree theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Randomness
@@ Property / cites work: Computability and Randomness / 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 @@
+Q4934564
@@ Property / cites work: Q4934564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3088295