The independence of control structures in abstract programming systems (Q1155949): Difference between revisions

@@ Property / cites work @@
+Q3902481
@@ Property / cites work: Q3902481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138135
@@ Property / cites work: Q4138135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124253
@@ Property / cites work: Q4124253 / rank @@
+Normal rank
@@ Property / cites work @@
+Can programming be liberated from the von Neumann style?
+Normal rank
@@ Property / cites work @@
+A Machine-Independent Theory of the Complexity of Recursive Functions
+Normal rank
@@ Property / cites work @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+Flow diagrams, turing machines and languages with only two formation rules
+Normal rank
@@ Property / cites work @@
+Q5183082
@@ Property / cites work: Q5183082 / rank @@
+Normal rank
@@ Property / cites work @@
+Periodicity in generations of automata
@@ Property / cites work: Periodicity in generations of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Comparison of identification criteria for machine inductive inference
+Normal rank
@@ Property / cites work @@
+Subrecursive Programming Languages, Part I
@@ Property / cites work: Subrecursive Programming Languages, Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
+Normal rank
@@ Property / cites work @@
+On folk theorems
@@ Property / cites work: On folk theorems / rank @@
+Normal rank
@@ Property / cites work @@
+On Simple Goedel Numberings and Translations
@@ Property / cites work: On Simple Goedel Numberings and Translations / rank @@
+Normal rank
@@ Property / cites work @@
+Pascal. User manual and report. 2nd ed
@@ Property / cites work: Pascal. User manual and report. 2nd ed / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3679149
@@ Property / cites work: Q3679149 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4057549
@@ Property / cites work: Q4057549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4055144
@@ Property / cites work: Q4055144 / rank @@
+Normal rank
@@ Property / cites work @@
+Space and Time Hierarchies for Classes of Control Structures and Data Structures
+Normal rank
@@ Property / cites work @@
+On formalised computer programs
@@ Property / cites work: On formalised computer programs / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Gödel Numberings, Isomorphisms, and Programming Properties
+Normal rank
@@ Property / cites work @@
+Q4153600
@@ Property / cites work: Q4153600 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Program size in restricted programming languages
@@ Property / cites work: Program size in restricted programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Godel Numberings Versus Friedberg Numberings
@@ Property / cites work: Godel Numberings Versus Friedberg Numberings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4127343
@@ Property / cites work: Q4127343 / rank @@
+Normal rank
@@ Property / cites work @@
+The independence of control structures in abstract programming systems
+Normal rank
@@ Property / cites work @@
+The Independence of Control Structures in Programmable Numberings of the Partial Recursive Functions
+Normal rank
@@ Property / cites work @@
+Gödel numberings of partial recursive functions
@@ Property / cites work: Gödel numberings of partial recursive functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+On Suborderings of Degrees of Recursive Unsolvability
+Normal rank
@@ Property / cites work @@
+Optimal enumerations and optimal gödel numberings
+Normal rank
@@ Property / cites work @@
+Theory of Formal Systems. (AM-47)
@@ Property / cites work: Theory of Formal Systems. (AM-47) / rank @@
+Normal rank
@@ Property / cites work @@
+The infinite injury priority method
@@ Property / cites work: The infinite injury priority method / rank @@
+Normal rank
@@ Property / cites work @@
+Q3969890
@@ Property / cites work: Q3969890 / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to a theory of mechanized formal reasoning
+Normal rank