Succinct iterative characterizations of primitive computable unary functions (Q672834): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(95)00167-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2069175391
@@ Property / OpenAlex ID: W2069175391 / 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 @@
+Equivalence of partial recursivity and computability by algorithms without concluding formulas
+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 @@
+Computable stack functions for semantics of stack programs
+Normal rank
@@ Property / cites work @@
+Sequence recursiveness without cylindrification and limited register machines
+Normal rank
@@ Property / cites work @@
+Q3773864
@@ Property / cites work: Q3773864 / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive iteration and unary functions
@@ Property / cites work: Primitive iteration and unary functions / rank @@
+Normal rank
@@ Property / cites work @@
+General iteration and unary functions
@@ Property / cites work: General iteration and unary functions / rank @@
+Normal rank
@@ Property / cites work @@
+Iterative Characterizations of Computable Unary Functions: A General Method
+Normal rank
@@ Property / cites work @@
+Primitive recursive functions
@@ Property / cites work: Primitive recursive functions / rank @@
+Normal rank