Elementary functions and loop programs (Q1903128): Difference between revisions

@@ Property / cites work @@
+Q5514957
@@ Property / cites work: Q5514957 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998431
@@ Property / cites work: Q3998431 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5629624
@@ Property / cites work: Q5629624 / rank @@
+Normal rank
@@ Property / cites work @@
+Subrecursive Programming Languages, Part I
@@ Property / cites work: Subrecursive Programming Languages, Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3893911
@@ Property / cites work: Q3893911 / rank @@
+Normal rank
@@ Property / cites work @@
+Elementary realizability
@@ Property / cites work: Elementary realizability / rank @@
+Normal rank
@@ Property / cites work @@
+Q3686043
@@ Property / cites work: Q3686043 / rank @@
+Normal rank
@@ Property / cites work @@
+The Structure of Loop Programs and Subrecursive Hierarchies
+Normal rank
@@ Property / cites work @@
+The bounded arithmetic hierarchy
@@ Property / cites work: The bounded arithmetic hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence of Different Hierarchies of Elementary Functions
+Normal rank
@@ Property / cites work @@
+Q4236324
@@ Property / cites work: Q4236324 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive rudimentarity of the graphs of Ackermann and Grzegorczyk
+Normal rank
@@ Property / cites work @@
+Concatenation as a basis for arithmetic
@@ Property / cites work: Concatenation as a basis for arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of Predictably Computable Functions
@@ Property / cites work: Classes of Predictably Computable Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3325707
@@ Property / cites work: Q3325707 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank