Indexings of subrecursive classes (Q1140080): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(80)90017-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2077694941
@@ Property / OpenAlex ID: W2077694941 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonexistence of program optimizers in several abstract settings
+Normal rank
@@ Property / cites work @@
+Q4138136
@@ Property / cites work: Q4138136 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+Subrecursive Programming Languages, Part I
@@ Property / cites work: Subrecursive Programming Languages, Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Extension of an effectively generated class of functions by enumeration
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+A comparison of polynomial time reducibilities
@@ Property / cites work: A comparison of polynomial time reducibilities / 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 @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Polynomial and abstract subrecursive classes
@@ Property / cites work: Polynomial and abstract subrecursive classes / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Recursively Enumerable Sets and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraically Generalized Recursive Function Theory
+Normal rank
@@ Property / cites work @@
+Construction of models for algebraically generalized recursive function theory
+Normal rank