Composition is almost (but not quite) as good as \(s-1-1\) (Q1314366): Difference between revisions

@@ Property / cites work @@
+A note on natural complete sets and Goedel numberings
+Normal rank
@@ Property / cites work @@
+On Simple Goedel Numberings and Translations
@@ Property / cites work: On Simple Goedel Numberings and Translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010358
@@ Property / cites work: Q4010358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287559
@@ Property / cites work: Q5287559 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4166747
@@ Property / cites work: Q4166747 / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Gödel Numberings, Isomorphisms, and Programming Properties
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Remarks on recursion versus diagonalization and exponentially difficult problems
+Normal rank
@@ Property / cites work @@
+The independence of control structures in abstract programming systems
+Normal rank
@@ Property / cites work @@
+The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
+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 @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+A connotational theory of program structure
@@ Property / cites work: A connotational theory of program structure / rank @@
+Normal rank