A classification of the one-argument primitive recursive functions (Q3333020): Difference between revisions

@@ Property / cites work @@
+Iteration of Primitive Recursion
@@ Property / cites work: Iteration of Primitive Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+Another simplification of the recursion scheme
@@ Property / cites work: Another simplification of the recursion scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of One‐Argument Recursive Functions
@@ Property / cites work: Classes of One‐Argument Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifications of the recursion scheme
@@ Property / cites work: Simplifications of the recursion scheme / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of recursive functions based on Ackermann's function
+Normal rank
@@ Property / cites work @@
+Primitive recursive functions
@@ Property / cites work: Primitive recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Rekursionszahlen und die Grzegorczyk-Hierarchie
@@ Property / cites work: Rekursionszahlen und die Grzegorczyk-Hierarchie / rank @@
+Normal rank