Subrecursive programming languages. II. On program size (Q2546770): Difference between revisions

@@ Property / author @@
-Robert L. Constable
@@ Property / author: Robert L. Constable / rank @@
-Normal rank
@@ Property / author @@
+Robert L. Constable
@@ Property / author: Robert L. Constable / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Iteration of Primitive Recursion
@@ Property / cites work: Iteration of Primitive Recursion / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+On the Length of Programs for Computing Finite Binary Sequences
+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 @@
+Q5681525
@@ Property / cites work: Q5681525 / rank @@
+Normal rank
@@ Property / cites work @@
+Random-Access Stored-Program Machines, an Approach to Programming Languages
+Normal rank
@@ Property / cites work @@
+Q5824357
@@ Property / cites work: Q5824357 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Properties of Abstract Complexity Classes
+Normal rank
@@ Property / cites work @@
+Computer programming and formal systems
@@ Property / cites work: Computer programming and formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Classes of computable functions defined by bounds on computation
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5533181
@@ Property / cites work: Q5533181 / rank @@
+Normal rank
@@ Property / cites work @@
+Primitive recursive functions
@@ Property / cites work: Primitive recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Some definitional suggestions for automata theory
@@ Property / cites work: Some definitional suggestions for automata theory / rank @@
+Normal rank
@@ Property / cites work @@
+Computability of Recursive Functions
@@ Property / cites work: Computability of Recursive Functions / rank @@
+Normal rank