Syntax and semantics of universal programming languages (Q4130955): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1080/00207167708803129
+Normal rank
@@ Property / OpenAlex ID @@
+W2123675649
@@ Property / OpenAlex ID: W2123675649 / rank @@
+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 @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / 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 @@
+Q4138113
@@ Property / cites work: Q4138113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4061924
@@ Property / cites work: Q4061924 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of formal translations
@@ Property / cites work: Computational complexity of formal translations / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+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 Computable Numbers, with an Application to the Entscheidungsproblem
+Normal rank
@@ Property / cites work @@
+A note on “axioms” for computational complexity and computation of finite functions
+Normal rank
@@ Property / cites work @@
+A transportable extendable compiler
@@ Property / cites work: A transportable extendable compiler / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for Structuring Flowgraphs
@@ Property / cites work: An Algorithm for Structuring Flowgraphs / rank @@
+Normal rank