Q4186306 (Q4186306): Difference between revisions

@@ Property / cites work @@
+Iteration of Primitive Recursion
@@ Property / cites work: Iteration of Primitive Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4070339
@@ Property / cites work: Q4070339 / rank @@
+Normal rank
@@ Property / cites work @@
+A Hierarchy of Primitive Recursive Functions
@@ Property / cites work: A Hierarchy of Primitive Recursive Functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+ITERATION AND RECURSION
@@ Property / cites work: ITERATION AND RECURSION / rank @@
+Normal rank
@@ Property / cites work @@
+Q5612462
@@ Property / cites work: Q5612462 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4087154
@@ Property / cites work: Q4087154 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequence-to-sequence recursiveness
@@ Property / cites work: Sequence-to-sequence recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Proving a compiler correct: A simple approach
@@ Property / cites work: Proving a compiler correct: A simple approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131620
@@ Property / cites work: Q4131620 / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of recursive functions based on Ackermann's function
+Normal rank
@@ Property / cites work @@
+Rekursionszahlen und die Grzegorczyk-Hierarchie
@@ Property / cites work: Rekursionszahlen und die Grzegorczyk-Hierarchie / rank @@
+Normal rank
@@ Property / cites work @@
+A note on comparison of subrecursive hierarchies
@@ Property / cites work: A note on comparison of subrecursive hierarchies / rank @@
+Normal rank
@@ Property / cites work @@
+The Equivalence Problem of Simple Programs
@@ Property / cites work: The Equivalence Problem of Simple Programs / rank @@
+Normal rank